Details

Time bar (total: 42.4s)

sample711.0ms

Algorithm
intervals
Results
516.0ms239×body10240exit
69.0ms285×body80valid
4.0ms8×body160valid

simplify1.4s

Counts
1 → 1
Iterations
IterNodes
12723
11723
10686
9575
8428
7323
6262
5218
4136
386
243
120
010

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.7b

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (tan (* PI l)) F)
0.2b
(* PI l)
0.2b
(* PI l)
4.1b
(tan (* PI l))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
16×*-un-lft-identity add-cube-cbrt
10×add-cbrt-cube add-exp-log
9×times-frac
8×pow1
6×associate-*r* associate-*l*
4×insert-posit16 add-log-exp
3×associate-/r* associate-/l*
2×pow-prod-down prod-exp tan-quot *-commutative cbrt-unprod unswap-sqr
1×cbrt-undiv clear-num frac-2neg div-exp div-inv associate-/l/
Counts
4 → 76
Calls
4 calls:
22.0ms
(/ (tan (* PI l)) F)
11.0ms
(* PI l)
11.0ms
(* PI l)
12.0ms
(tan (* PI l))

series355.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(/ (tan (* PI l)) F)
28.0ms
(* PI l)
49.0ms
(* PI l)
134.0ms
(tan (* PI l))

simplify1.7s

Counts
88 → 88
Iterations
IterNodes
44253
31433
2539
1213
0108

prune828.0ms

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 0.5b

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(* PI l)
0.2b
(* PI l)
0.3b
(* (tan (* PI l)) (/ 1 F))
4.1b
(tan (* PI l))

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
27×add-sqr-sqrt
19×associate-*r*
17×*-un-lft-identity add-exp-log
16×add-cube-cbrt
13×add-cbrt-cube
11×times-frac
10×pow1
9×associate-*l*
6×prod-exp
5×unswap-sqr
4×cbrt-unprod insert-posit16 add-log-exp
3×pow-prod-down tan-quot *-commutative
2×div-exp
1×frac-times cbrt-undiv rec-exp 1-exp associate-*l/ associate-*r/ un-div-inv div-inv
Counts
4 → 86
Calls
4 calls:
10.0ms
(* PI l)
11.0ms
(* PI l)
51.0ms
(* (tan (* PI l)) (/ 1 F))
17.0ms
(tan (* PI l))

series280.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* PI l)
28.0ms
(* PI l)
153.0ms
(* (tan (* PI l)) (/ 1 F))
65.0ms
(tan (* PI l))

simplify2.3s

Counts
98 → 98
Iterations
IterNodes
44664
31979
2838
1310
0135

prune1.1s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.5b

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (sqrt PI) (* (sqrt PI) l))
1.0b
(sqrt PI)
1.0b
(sqrt PI)
4.1b
(tan (* (sqrt PI) (* (sqrt PI) l)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1
10×add-sqr-sqrt
9×add-cbrt-cube add-exp-log sqrt-prod
8×*-un-lft-identity add-cube-cbrt
6×associate-*l*
4×insert-posit16 add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×rem-sqrt-square sqrt-pow1 pow1/2
1×associate-*r* tan-quot *-commutative
Counts
4 → 59
Calls
4 calls:
42.0ms
(* (sqrt PI) (* (sqrt PI) l))
1.0ms
(sqrt PI)
1.0ms
(sqrt PI)
49.0ms
(tan (* (sqrt PI) (* (sqrt PI) l)))

series122.0ms

Counts
4 → 8
Calls
4 calls:
36.0ms
(* (sqrt PI) (* (sqrt PI) l))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)
85.0ms
(tan (* (sqrt PI) (* (sqrt PI) l)))

simplify2.4s

Counts
67 → 67
Iterations
IterNodes
43687
31154
2416
1155
073

prune872.0ms

Pruning

15 alts after pruning (13 fresh and 2 done)

Merged error: 0.5b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (tan (* PI l)))
4.1b
(tan (* PI l))
4.1b
(tan (* PI l))
4.1b
(tan (* PI l))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube tan-quot add-exp-log insert-posit16 add-log-exp
3×cbrt-prod
1×cbrt-div pow1/3
Counts
4 → 40
Calls
4 calls:
5.0ms
(cbrt (tan (* PI l)))
11.0ms
(tan (* PI l))
16.0ms
(tan (* PI l))
11.0ms
(tan (* PI l))

series548.0ms

Counts
4 → 12
Calls
4 calls:
284.0ms
(cbrt (tan (* PI l)))
95.0ms
(tan (* PI l))
85.0ms
(tan (* PI l))
84.0ms
(tan (* PI l))

simplify7.4s

Counts
52 → 52
Iterations
IterNodes
410252
31630
2393
1142
064

prune712.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 0.5b

regimes597.0ms

Accuracy

0% (0.4b remaining)

Error of 0.9b against oracle of 0.4b and baseline of 0.9b

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
219
119
013

end0.0ms

sample20.5s

Algorithm
intervals
Results
17.7s7691×body10240exit
2.2s8832×body80valid
187.0ms258×body160valid