Details

Time bar (total: 22.0s)

sample212.0ms

Algorithm
intervals
Results
87.0ms108×body2560valid
45.0ms74×body1280valid
33.0ms40×body640valid
22.0ms257×body80nan
4.0ms14×body320valid
3.0ms11×body160valid
1.0ms9×body80valid

simplify1.7s

Counts
1 → 1

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize38.0ms

Local error

Found 4 expressions with local error:

0.6b
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))
0.1b
(* 5 (* v v))
0.0b
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
0.0b
(- 1 (* 5 (* v v)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×*-un-lft-identity
18×times-frac
16×add-cube-cbrt
11×add-cbrt-cube add-exp-log
9×pow1
8×difference-of-squares
6×associate-/r* add-log-exp
4×difference-of-sqr-1 insert-posit16
3×flip3-- associate-*l* pow-prod-down prod-exp cbrt-unprod flip-- associate-/l*
2×associate-/r/ associate-/l/
1×acos-asin cbrt-undiv clear-num sub-neg frac-2neg diff-log div-sub div-exp associate-*r* *-commutative div-inv unswap-sqr
Counts
4 → 87
Calls
4 calls:
Slowest
23.0ms
(* 5 (* v v))
17.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
5.0ms
(- 1 (* 5 (* v v)))
3.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

series249.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
112.0ms
(- 1 (* 5 (* v v)))
80.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
53.0ms
(* 5 (* v v))
4.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify1.4s

Counts
99 → 99

prune863.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

localize26.0ms

Local error

Found 4 expressions with local error:

0.6b
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))
0.2b
(/ (* v v) 1/5)
0.0b
(/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))
0.0b
(- 1 (/ (* v v) 1/5))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
79×add-sqr-sqrt
67×times-frac
63×*-un-lft-identity
50×difference-of-squares
22×add-cube-cbrt
11×add-cbrt-cube add-exp-log
9×associate-/r* difference-of-sqr-1 associate-/l*
8×distribute-lft-out--
6×add-log-exp
4×pow1 insert-posit16
3×cbrt-undiv flip3-- div-exp flip--
2×clear-num frac-2neg associate-/r/ div-inv associate-/l/
1×acos-asin sub-neg diff-log div-sub prod-exp cbrt-unprod
Counts
4 → 129
Calls
4 calls:
Slowest
37.0ms
(/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))
9.0ms
(/ (* v v) 1/5)
6.0ms
(- 1 (/ (* v v) 1/5))
1.0ms
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))

series227.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
112.0ms
(- 1 (/ (* v v) 1/5))
75.0ms
(/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))
36.0ms
(/ (* v v) 1/5)
3.0ms
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))

simplify2.3s

Counts
141 → 141

prune1.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b
(acos (/ 1 (/ (- (* v v) 1) (- 1 (/ (* v v) 1/5)))))
0.2b
(/ (* v v) 1/5)
0.0b
(/ 1 (/ (- (* v v) 1) (- 1 (/ (* v v) 1/5))))
0.0b
(- 1 (/ (* v v) 1/5))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
407×times-frac
303×add-sqr-sqrt
253×*-un-lft-identity
164×difference-of-squares
121×add-cube-cbrt
57×associate-/r*
32×difference-of-sqr-1
25×distribute-lft-out--
20×add-exp-log
14×add-cbrt-cube
9×div-exp associate-/r/
6×div-inv add-log-exp
5×pow1 cbrt-undiv flip3-- flip--
4×insert-posit16 associate-/l*
2×rec-exp clear-num frac-2neg 1-exp
1×acos-asin sub-neg diff-log prod-exp cbrt-unprod pow-flip inv-pow
Counts
4 → 290
Calls
4 calls:
Slowest
40.0ms
(/ 1 (/ (- (* v v) 1) (- 1 (/ (* v v) 1/5))))
11.0ms
(- 1 (/ (* v v) 1/5))
8.0ms
(/ (* v v) 1/5)
1.0ms
(acos (/ 1 (/ (- (* v v) 1) (- 1 (/ (* v v) 1/5)))))

series246.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
108.0ms
(- 1 (/ (* v v) 1/5))
91.0ms
(/ 1 (/ (- (* v v) 1) (- 1 (/ (* v v) 1/5))))
40.0ms
(/ (* v v) 1/5)
6.0ms
(acos (/ 1 (/ (- (* v v) 1) (- 1 (/ (* v v) 1/5)))))

simplify643.0ms

Counts
302 → 302

prune2.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.6b

localize61.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt (* (* (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))))
1.0b
(* (* (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))))
0.6b
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))
0.6b
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
23×pow1
9×add-cbrt-cube add-exp-log
6×add-sqr-sqrt pow-plus pow-prod-up
5×*-un-lft-identity add-cube-cbrt
4×insert-posit16 add-log-exp
3×associate-*r* pow-prod-down prod-exp cbrt-unprod
2×pow2 acos-asin pow3 pow-sqr
1×cbrt-prod pow1/3 associate-*l* *-commutative rem-cbrt-cube unswap-sqr
Counts
4 → 58
Calls
4 calls:
Slowest
26.0ms
(* (* (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))))
18.0ms
(cbrt (* (* (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))))
2.0ms
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))
2.0ms
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))

series64.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
45.0ms
(* (* (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))))
7.0ms
(cbrt (* (* (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))) (acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))))
6.0ms
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))
6.0ms
(acos (/ (- 1 (/ (* v v) 1/5)) (- (* v v) 1)))

simplify1.5s

Counts
70 → 70

prune702.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

regimes51.0ms

Accuracy

0% (0.0b remaining)

Error of 0.6b against oracle of 0.6b and baseline of 0.6b

bsearch2.0ms

end0.0ms

sample7.6s

Algorithm
intervals
Results
2.7s3019×body2560valid
2.5s2514×body1280valid
1.0s7927×body80nan
771.0ms1250×body640valid
293.0ms617×body320valid
92.0ms397×body160valid
24.0ms203×body80valid