Details

Time bar (total: 3.2m)

sample318.0ms

Algorithm
intervals
Results
122.0ms52×body1280valid
83.0ms60×body640valid
61.0ms214×body80valid
24.0ms25×body320valid
11.0ms18×body160valid

simplify207.0ms

Calls
1 calls:
Slowest
207.0ms
(/ 2 (* (* (* (/ (pow t 3) (* l l)) (sin k)) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1)))

prune15.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 17.1b

localize35.0ms

Local error

Found 4 expressions with local error:

11.0b
(/ (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (fma (/ k t) (/ k t) 2))
5.3b
(/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))
2.2b
(/ (* t (tan k)) (* (/ l t) (/ l t)))
0.3b
(* (/ l t) (/ l t))

rewrite41.0ms

Algorithm
rewrite-expression-head
Rules
293×times-frac
110×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
71×associate-/r/ div-inv
42×associate-/l*
34×add-cbrt-cube add-exp-log
24×associate-*r/
23×frac-times associate-*l/
16×cbrt-undiv div-exp
12×associate-/r*
9×pow1
4×expm1-log1p-u associate-*r* associate-*l* prod-exp cbrt-unprod insert-posit16 log1p-expm1-u add-log-exp
3×clear-num frac-2neg associate-/l/
1×pow2 pow-plus pow-prod-down tan-quot *-commutative pow-prod-up
Calls
4 calls:
Slowest
18.0ms
(/ (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (fma (/ k t) (/ k t) 2))
8.0ms
(/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))
7.0ms
(/ (* t (tan k)) (* (/ l t) (/ l t)))
4.0ms
(* (/ l t) (/ l t))

series1.3s

Calls
4 calls:
Slowest
737.0ms
(/ (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (fma (/ k t) (/ k t) 2))
355.0ms
(/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))
164.0ms
(/ (* t (tan k)) (* (/ l t) (/ l t)))
33.0ms
(* (/ l t) (/ l t))

simplify1.5m

Calls
385 calls:
Slowest
1.3s
(/ (/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (/ (* (* (* t (tan k)) (* t (tan k))) (* t (tan k))) (* (* (* (/ l t) (/ l t)) (* (/ l t) (/ l t))) (* (/ l t) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
1.3s
(/ (/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (/ (* (* (* t (tan k)) (* t (tan k))) (* t (tan k))) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
1.2s
(/ (/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (* (* (/ (* t (tan k)) (* (/ l t) (/ l t))) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (/ (* t (tan k)) (* (/ l t) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))
1.2s
(/ (* (* (/ 2 (sin k)) (/ 2 (sin k))) (/ 2 (sin k))) (/ (* (* (* t (tan k)) (* t (tan k))) (* t (tan k))) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))))
1.2s
(/ (* (* (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t)))) (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))) (/ (/ 2 (sin k)) (/ (* t (tan k)) (* (/ l t) (/ l t))))) (* (* (fma (/ k t) (/ k t) 2) (fma (/ k t) (/ k t) 2)) (fma (/ k t) (/ k t) 2)))

prune3.7s

Pruning

15 alts after pruning (15 fresh and 0 done)

Merged error: 9.6b

localize52.0ms

Local error

Found 4 expressions with local error:

10.3b
(sqrt (fma (/ k t) (/ k t) 2))
10.3b
(sqrt (fma (/ k t) (/ k t) 2))
7.6b
(/ (/ (/ 1 (sin k)) t) (sqrt (fma (/ k t) (/ k t) 2)))
6.4b
(/ (/ (/ 2 (/ t l)) (* (tan k) (/ t l))) (sqrt (fma (/ k t) (/ k t) 2)))

rewrite52.0ms

Algorithm
rewrite-expression-head
Rules
131×times-frac
65×add-sqr-sqrt
63×*-un-lft-identity add-cube-cbrt
60×sqrt-prod
28×associate-/r/
23×div-inv
16×associate-/l*
15×add-cbrt-cube add-exp-log
14×tan-quot
12×associate-/r*
7×frac-times associate-*l/ associate-*r/
6×cbrt-undiv div-exp
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
2×rem-sqrt-square clear-num frac-2neg pow1/2 associate-/l/
1×prod-exp cbrt-unprod
Calls
4 calls:
Slowest
23.0ms
(/ (/ (/ 2 (/ t l)) (* (tan k) (/ t l))) (sqrt (fma (/ k t) (/ k t) 2)))
20.0ms
(/ (/ (/ 1 (sin k)) t) (sqrt (fma (/ k t) (/ k t) 2)))
2.0ms
(sqrt (fma (/ k t) (/ k t) 2))
2.0ms
(sqrt (fma (/ k t) (/ k t) 2))

series646.0ms

Calls
4 calls:
Slowest
346.0ms
(/ (/ (/ 2 (/ t l)) (* (tan k) (/ t l))) (sqrt (fma (/ k t) (/ k t) 2)))
155.0ms
(/ (/ (/ 1 (sin k)) t) (sqrt (fma (/ k t) (/ k t) 2)))
74.0ms
(sqrt (fma (/ k t) (/ k t) 2))
71.0ms
(sqrt (fma (/ k t) (/ k t) 2))

simplify35.2s

Calls
248 calls:
Slowest
1.2s
(/ (/ (* (* (/ 2 (/ t l)) (/ 2 (/ t l))) (/ 2 (/ t l))) (* (* (* (tan k) (/ t l)) (* (tan k) (/ t l))) (* (tan k) (/ t l)))) (* (* (sqrt (fma (/ k t) (/ k t) 2)) (sqrt (fma (/ k t) (/ k t) 2))) (sqrt (fma (/ k t) (/ k t) 2))))
921.0ms
(/ (/ (* (* (/ 2 (/ t l)) (/ 2 (/ t l))) (/ 2 (/ t l))) (* (* (* (tan k) (tan k)) (tan k)) (* (* (/ t l) (/ t l)) (/ t l)))) (* (* (sqrt (fma (/ k t) (/ k t) 2)) (sqrt (fma (/ k t) (/ k t) 2))) (sqrt (fma (/ k t) (/ k t) 2))))
481.0ms
(/ (* (* (/ (/ 2 (/ t l)) (* (tan k) (/ t l))) (/ (/ 2 (/ t l)) (* (tan k) (/ t l)))) (/ (/ 2 (/ t l)) (* (tan k) (/ t l)))) (* (* (sqrt (fma (/ k t) (/ k t) 2)) (sqrt (fma (/ k t) (/ k t) 2))) (sqrt (fma (/ k t) (/ k t) 2))))
474.0ms
(/ (/ (/ 2 (/ t l)) (* (sin k) (/ t l))) (* (cbrt (sqrt (fma (/ k t) (/ k t) 2))) (cbrt (sqrt (fma (/ k t) (/ k t) 2)))))
463.0ms
(/ (/ (/ 2 (/ t l)) (* (tan k) t)) 1)

prune3.6s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 9.6b

localize23.0ms

Local error

Found 4 expressions with local error:

10.3b
(sqrt (fma (/ k t) (/ k t) 2))
10.3b
(sqrt (fma (/ k t) (/ k t) 2))
7.6b
(/ (/ (/ 1 (sin k)) t) (sqrt (fma (/ k t) (/ k t) 2)))
4.6b
(/ (sqrt (fma (/ k t) (/ k t) 2)) (/ 1 (* (tan k) (/ t l))))

rewrite23.0ms

Algorithm
rewrite-expression-head
Rules
66×times-frac
48×add-sqr-sqrt
46×*-un-lft-identity add-cube-cbrt
45×sqrt-prod
22×associate-/r/
16×div-inv
14×tan-quot
13×associate-/r* add-exp-log
10×associate-/l*
8×add-cbrt-cube
7×frac-times associate-*l/ associate-*r/
4×expm1-log1p-u pow1 div-exp insert-posit16 log1p-expm1-u add-log-exp
2×cbrt-undiv rem-sqrt-square rec-exp clear-num frac-2neg pow1/2
1×prod-exp associate-/l/
Calls
4 calls:
Slowest
8.0ms
(/ (sqrt (fma (/ k t) (/ k t) 2)) (/ 1 (* (tan k) (/ t l))))
7.0ms
(/ (/ (/ 1 (sin k)) t) (sqrt (fma (/ k t) (/ k t) 2)))
1.0ms
(sqrt (fma (/ k t) (/ k t) 2))
1.0ms
(sqrt (fma (/ k t) (/ k t) 2))

series550.0ms

Calls
4 calls:
Slowest
267.0ms
(/ (sqrt (fma (/ k t) (/ k t) 2)) (/ 1 (* (tan k) (/ t l))))
163.0ms
(/ (/ (/ 1 (sin k)) t) (sqrt (fma (/ k t) (/ k t) 2)))
67.0ms
(sqrt (fma (/ k t) (/ k t) 2))
52.0ms
(sqrt (fma (/ k t) (/ k t) 2))

simplify19.1s

Calls
180 calls:
Slowest
577.0ms
(/ (* (cbrt (sqrt (fma (/ k t) (/ k t) 2))) (cbrt (sqrt (fma (/ k t) (/ k t) 2)))) (/ 1 (* (sin k) (/ t l))))
404.0ms
(/ (* (cbrt (sqrt (fma (/ k t) (/ k t) 2))) (cbrt (sqrt (fma (/ k t) (/ k t) 2)))) (/ 1 (* (sin k) t)))
401.0ms
(/ (* (cbrt (sqrt (fma (/ k t) (/ k t) 2))) (cbrt (sqrt (fma (/ k t) (/ k t) 2)))) (/ 1 (* (tan k) t)))
385.0ms
(/ (sqrt (sqrt (fma (/ k t) (/ k t) 2))) (/ 1 (* (tan k) (/ t l))))
375.0ms
(/ (sqrt (cbrt (fma (/ k t) (/ k t) 2))) (/ 1 (* (tan k) (/ t l))))

prune2.9s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 9.6b

localize47.0ms

Local error

Found 4 expressions with local error:

16.3b
(cbrt (fma (/ k t) (/ k t) 2))
16.3b
(cbrt (fma (/ k t) (/ k t) 2))
10.3b
(sqrt (fma (/ k t) (/ k t) 2))
4.6b
(/ (sqrt (fma (/ k t) (/ k t) 2)) (/ 1 (* (tan k) (/ t l))))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
42×times-frac
31×add-sqr-sqrt
30×*-un-lft-identity add-cube-cbrt
27×sqrt-prod
22×associate-/r/
14×tan-quot
11×add-exp-log
8×div-inv
7×frac-times associate-/r* associate-*l/ associate-*r/
6×cbrt-prod add-cbrt-cube associate-/l*
4×expm1-log1p-u pow1 insert-posit16 log1p-expm1-u add-log-exp
3×div-exp
2×rec-exp pow1/3
1×cbrt-undiv rem-sqrt-square clear-num frac-2neg pow1/2 prod-exp
Calls
4 calls:
Slowest
17.0ms
(/ (sqrt (fma (/ k t) (/ k t) 2)) (/ 1 (* (tan k) (/ t l))))
2.0ms
(sqrt (fma (/ k t) (/ k t) 2))
2.0ms
(cbrt (fma (/ k t) (/ k t) 2))
1.0ms
(cbrt (fma (/ k t) (/ k t) 2))

series781.0ms

Calls
4 calls:
Slowest
310.0ms
(/ (sqrt (fma (/ k t) (/ k t) 2)) (/ 1 (* (tan k) (/ t l))))
229.0ms
(cbrt (fma (/ k t) (/ k t) 2))
178.0ms
(cbrt (fma (/ k t) (/ k t) 2))
64.0ms
(sqrt (fma (/ k t) (/ k t) 2))

simplify15.9s

Calls
122 calls:
Slowest
462.0ms
(/ (* (cbrt (sqrt (fma (/ k t) (/ k t) 2))) (cbrt (sqrt (fma (/ k t) (/ k t) 2)))) (/ 1 (* (sin k) t)))
430.0ms
(/ (* (cbrt (sqrt (fma (/ k t) (/ k t) 2))) (cbrt (sqrt (fma (/ k t) (/ k t) 2)))) (/ 1 (* (sin k) (/ t l))))
390.0ms
(exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 k))))))
382.0ms
(/ (sqrt (sqrt (fma (/ k t) (/ k t) 2))) (/ 1 (* (sin k) (/ t l))))
375.0ms
(/ (sqrt (sqrt (fma (/ k t) (/ k t) 2))) (/ 1 (* (tan k) (/ t l))))

prune2.7s

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 9.6b

regimes298.0ms

Accuracy

0% (2.1b remaining)

Error of 12.6b against oracle of 10.6b and baseline of 12.6b

bsearch4.0ms

end0.0ms

sample14.6s

Algorithm
intervals
Results
6.0s2074×body1280valid
4.0s1681×body640valid
2.4s5940×body80valid
1.6s856×body320valid
367.0ms435×body160valid