Details

Time bar (total: 9.7s)

sample63.0ms

Algorithm
intervals
Results
34.0ms256×body80valid
13.0ms256×pre80true

simplify13.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
088
1118
2188
done188

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b
(tan (- 0.0 (* PI x)))
0.2b
(* PI x)
0.3b
(/ 1.0 (tan (- 0.0 (* PI x))))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
15×add-sqr-sqrt
13×*-un-lft-identity add-cube-cbrt
times-frac
add-cbrt-cube add-exp-log
pow1
tan-sum
associate-/r* associate-*r* associate-*l* associate-/r/ associate-/l* add-log-exp
sub-neg tan-quot
cbrt-undiv clear-num frac-2neg div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr
Counts
3 → 58
Calls
3 calls:
43.0ms
(tan (- 0.0 (* PI x)))
13.0ms
(* PI x)
18.0ms
(/ 1.0 (tan (- 0.0 (* PI x))))

series435.0ms

Counts
3 → 9
Calls
3 calls:
168.0ms
(tan (- 0.0 (* PI x)))
40.0ms
(* PI x)
227.0ms
(/ 1.0 (tan (- 0.0 (* PI x))))

simplify3.0s

Counts
67 → 67
Iterations

Useful iterations: 3 (1.4s)

IterNodesCost
0128740
1268716
2819660
34014651
done5000651

prune352.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (sin (- 0.0 (* PI x))) (cos (- 0.0 (* PI x))))
0.2b
(* PI x)
0.2b
(* PI x)
0.3b
(/ 1.0 (/ (sin (- 0.0 (* PI x))) (cos (- 0.0 (* PI x)))))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
62×add-sqr-sqrt
58×*-un-lft-identity add-cube-cbrt
16×associate-/r*
15×add-cbrt-cube add-exp-log
pow1
associate-*r* associate-*l* div-inv associate-/l*
cbrt-undiv div-exp add-log-exp
clear-num frac-2neg pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
quot-tan div-sub associate-/r/ sin-diff
Counts
4 → 135
Calls
4 calls:
57.0ms
(/ (sin (- 0.0 (* PI x))) (cos (- 0.0 (* PI x))))
15.0ms
(* PI x)
14.0ms
(* PI x)
36.0ms
(/ 1.0 (/ (sin (- 0.0 (* PI x))) (cos (- 0.0 (* PI x)))))

series457.0ms

Counts
4 → 12
Calls
4 calls:
165.0ms
(/ (sin (- 0.0 (* PI x))) (cos (- 0.0 (* PI x))))
43.0ms
(* PI x)
49.0ms
(* PI x)
199.0ms
(/ 1.0 (/ (sin (- 0.0 (* PI x))) (cos (- 0.0 (* PI x)))))

simplify1.8s

Counts
147 → 147
Iterations

Useful iterations: done (1.8s)

IterNodesCost
02322910
15612828
223722646
done50012636

prune799.0ms

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 0.1b

regimes486.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.2b and baseline of 0.3b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01015
11115
done1115

end0.0ms

sample2.0s

Algorithm
intervals
Results
1.4s8004×body80valid
267.0ms8004×pre80true