Details

Time bar (total: 28.7s)

sample987.0ms

Algorithm
intervals
Results
865.0ms269×body10240exit
53.0ms283×body80valid
5.0ms10×body160valid

simplify283.0ms

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 7.1b

localize32.0ms

Local error

Found 4 expressions with local error:

6.8b
(/ (tan (* PI l)) (* F F))
3.4b
(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)

series243.0ms

Calls
4 calls:
Slowest
130.0ms
(/ (tan (* PI l)) (* F F))
43.0ms
(tan (* PI l))
39.0ms
(* PI l)
30.0ms
(* PI l)

simplify1.1s

Calls
23 calls:
Slowest
390.0ms
(/ (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (* (* (* F F) (* F F)) (* F F)))
340.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
144.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
(- (log (tan (* PI l))) (log (* F F)))
28.0ms
(/ (sin (* PI l)) (* (pow F 2) (cos (* PI l))))

prune624.0ms

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.4b

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.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 add-log-exp
3×associate-/l*
2×tan-quot *-commutative
1×clear-num frac-2neg div-inv associate-/l/
Calls
4 calls:
Slowest
5.0ms
(/ (tan (* PI l)) F)
2.0ms
(tan (* PI l))
0.0ms
(* PI l)
0.0ms
(* PI l)

series234.0ms

Calls
4 calls:
Slowest
106.0ms
(/ (tan (* PI l)) F)
56.0ms
(tan (* PI l))
46.0ms
(* PI l)
26.0ms
(* PI l)

simplify655.0ms

Calls
15 calls:
Slowest
283.0ms
(+ (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)) (+ (/ (* PI l) F) (* 2/15 (/ (* (pow PI 5) (pow l 5)) F))))
272.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
34.0ms
(/ (sin (* PI l)) (* F (cos (* PI l))))
30.0ms
(/ (sin (* PI l)) (* F (cos (* PI l))))
4.0ms
(/ (sin (* PI l)) (cos (* PI l)))

prune615.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite15.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 add-log-exp
3×associate-/l*
2×tan-quot *-commutative
1×clear-num frac-2neg div-inv associate-/l/
Calls
4 calls:
Slowest
9.0ms
(/ (tan (* PI l)) F)
4.0ms
(tan (* PI l))
0.0ms
(* PI l)
0.0ms
(* PI l)

series262.0ms

Calls
4 calls:
Slowest
110.0ms
(/ (tan (* PI l)) F)
64.0ms
(tan (* PI l))
45.0ms
(* PI l)
43.0ms
(* PI l)

simplify660.0ms

Calls
15 calls:
Slowest
294.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
286.0ms
(+ (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)) (+ (/ (* PI l) F) (* 2/15 (/ (* (pow PI 5) (pow l 5)) F))))
28.0ms
(/ (sin (* PI l)) (* F (cos (* PI l))))
14.0ms
(/ (sin (* PI l)) (* F (cos (* PI l))))
6.0ms
(/ (sin (* PI l)) (cos (* PI l)))

prune615.0ms

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.4b

localize12.0ms

Local error

Found 4 expressions with local error:

3.4b
(tan (* PI l))
0.4b
(/ 1 (/ F (tan (* PI l))))
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×tan-quot associate-/r/ *-commutative div-inv
1×rec-exp clear-num frac-2neg pow-flip inv-pow
Calls
4 calls:
Slowest
2.0ms
(tan (* PI l))
2.0ms
(/ 1 (/ F (tan (* PI l))))
0.0ms
(* PI l)
0.0ms
(* PI l)

series192.0ms

Calls
4 calls:
Slowest
98.0ms
(/ 1 (/ F (tan (* PI l))))
37.0ms
(tan (* PI l))
31.0ms
(* PI l)
25.0ms
(* PI l)

simplify629.0ms

Calls
19 calls:
Slowest
317.0ms
(+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* 1/3 (* (pow PI 3) (pow l 3))) (* PI l)))
201.0ms
(+ (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)) (/ (* PI l) F))
21.0ms
(/ (sin (* PI l)) (* F (cos (* PI l))))
15.0ms
(/ (sin (* PI l)) (* F (cos (* PI l))))
9.0ms
(/ 1 (tan (* PI l)))

prune544.0ms

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 0.4b

regimes603.0ms

Accuracy

0% (0.2b remaining)

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

bsearch3.0ms

end0.0ms

sample20.3s

Algorithm
intervals
Results
17.7s7632×body10240exit
2.0s8887×body80valid
192.0ms266×body160valid