Details

Time bar (total: 28.6s)

sample758.0ms

Algorithm
intervals
Results
612.0ms283×body10240exit
58.0ms279×body80valid
5.0ms11×body160valid

simplify246.0ms

Calls
1 calls:
Slowest
245.0ms
(- (* PI l) (* (/ 1 (* F F)) (tan (* PI l))))

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.1b

localize16.0ms

Local error

Found 4 expressions with local error:

9.7b
(/ (tan (* PI l)) (* F F))
3.9b
(tan (* PI l))
0.3b
(* PI l)
0.3b
(* PI l)

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
4×pow1 insert-posit16 add-log-exp
3×times-frac associate-/l*
2×tan-quot *-commutative
1×cbrt-undiv clear-num associate-/r* frac-2neg div-exp div-inv associate-/l/
Calls
4 calls:
Slowest
7.0ms
(/ (tan (* PI l)) (* F F))
2.0ms
(tan (* PI l))
0.0ms
(* PI l)
0.0ms
(* PI l)

series233.0ms

Calls
4 calls:
Slowest
100.0ms
(/ (tan (* PI l)) (* F F))
55.0ms
(tan (* PI l))
44.0ms
(* PI l)
34.0ms
(* PI l)

simplify1.1s

Calls
23 calls:
Slowest
408.0ms
(/ (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (* (* (* F F) (* F F)) (* F F)))
319.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
136.0ms
(+ (/ (* PI l) (pow F 2)) (+ (* 2/15 (/ (* (pow PI 5) (pow l 5)) (pow F 2))) (* 1/3 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))))
47.0ms
(/ (sin (* PI l)) (* (pow F 2) (cos (* PI l))))
46.0ms
(- (log (tan (* PI l))) (log (* F F)))

prune610.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.6b

localize9.0ms

Local error

Found 4 expressions with local error:

3.9b
(tan (* PI l))
0.3b
(* PI l)
0.3b
(* PI l)
0.2b
(/ (/ (tan (* PI l)) F) F)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×pow1 add-cbrt-cube add-exp-log insert-posit16 associate-/l* add-log-exp
2×*-commutative div-inv
1×clear-num frac-2neg tan-quot associate-/l/
Calls
4 calls:
Slowest
6.0ms
(/ (/ (tan (* PI l)) F) F)
2.0ms
(tan (* PI l))
0.0ms
(* PI l)
0.0ms
(* PI l)

series246.0ms

Calls
4 calls:
Slowest
105.0ms
(/ (/ (tan (* PI l)) F) F)
61.0ms
(tan (* PI l))
43.0ms
(* PI l)
37.0ms
(* PI l)

simplify610.0ms

Calls
16 calls:
Slowest
324.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
152.0ms
(+ (/ (* PI l) (pow F 2)) (+ (* 2/15 (/ (* (pow PI 5) (pow l 5)) (pow F 2))) (* 1/3 (/ (* (pow PI 3) (pow l 3)) (pow F 2)))))
44.0ms
(/ (sin (* PI l)) (* (pow F 2) (cos (* PI l))))
39.0ms
(/ (sin (* PI l)) (* (pow F 2) (cos (* PI l))))
11.0ms
(* (cbrt (/ (tan (* PI l)) F)) (cbrt (/ (tan (* PI l)) F)))

prune617.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.5b

localize12.0ms

Local error

Found 4 expressions with local error:

3.9b
(tan (* PI l))
1.0b
(/ 1 (/ F (/ (tan (* PI l)) F)))
0.3b
(* PI l)
0.3b
(* PI l)

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt pow1 associate-/r* *-un-lft-identity add-exp-log add-cube-cbrt
4×add-cbrt-cube insert-posit16 add-log-exp
2×associate-/r/ *-commutative div-inv
1×rec-exp clear-num frac-2neg tan-quot pow-flip inv-pow
Calls
4 calls:
Slowest
2.0ms
(tan (* PI l))
1.0ms
(/ 1 (/ F (/ (tan (* PI l)) F)))
0.0ms
(* PI l)
0.0ms
(* PI l)

series243.0ms

Calls
4 calls:
Slowest
117.0ms
(/ 1 (/ F (/ (tan (* PI l)) F)))
60.0ms
(tan (* PI l))
39.0ms
(* PI l)
27.0ms
(* PI l)

simplify607.0ms

Calls
18 calls:
Slowest
344.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
94.0ms
(+ (/ (* PI l) (pow F 2)) (* 1/3 (/ (* (pow PI 3) (pow l 3)) (pow F 2))))
37.0ms
(/ (sin (* PI l)) (* (pow F 2) (cos (* PI l))))
26.0ms
(/ (sin (* PI l)) (* (pow F 2) (cos (* PI l))))
17.0ms
(/ 1 (/ (tan (* PI l)) F))

prune698.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.5b

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
5×add-sqr-sqrt pow1 *-un-lft-identity add-exp-log add-cube-cbrt
4×associate-/r* add-cbrt-cube insert-posit16 add-log-exp
2×*-commutative div-inv
1×rec-exp clear-num frac-2neg tan-quot associate-/r/ pow-flip inv-pow
Calls
4 calls:
Slowest
2.0ms
(tan (* PI l))
1.0ms
(/ 1 (/ (tan (* PI l)) F))
0.0ms
(* PI l)
0.0ms
(* PI l)

series246.0ms

Calls
4 calls:
Slowest
143.0ms
(/ 1 (/ (tan (* PI l)) F))
45.0ms
(tan (* PI l))
30.0ms
(* PI l)
28.0ms
(* PI l)

simplify666.0ms

Calls
17 calls:
Slowest
304.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
208.0ms
(- (/ F (* PI l)) (* 1/3 (* F (* PI l))))
45.0ms
(/ (* (cos (* PI l)) F) (sin (* PI l)))
40.0ms
(/ (* (cos (* PI l)) F) (sin (* PI l)))
9.0ms
(/ (sin (* PI l)) (cos (* PI l)))

prune645.0ms

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.5b

regimes388.0ms

Accuracy

0% (0.3b remaining)

Error of 0.8b against oracle of 0.5b and baseline of 0.8b

bsearch2.0ms

end0.0ms

sample20.6s

Algorithm
intervals
Results
18.1s7829×body10240exit
1.9s8847×body80valid
127.0ms268×body160valid