Details

Time bar (total: 1.7m)

sample253.0ms

Algorithm
intervals
Results
132.0ms101×body2560valid
58.0ms86×body1280valid
23.0ms230×body80nan
16.0ms31×body640valid
7.0ms21×body320valid
3.0ms11×body160valid
1.0ms6×body80valid

simplify135.0ms

Calls
1 calls:
Slowest
135.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize17.0ms

Local error

Found 2 expressions with local error:

0.3b
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))
0.2b
(* 5 (* v v))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
4×add-sqr-sqrt
3×*-un-lft-identity associate-*l* pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×insert-posit16 add-log-exp
1×acos-asin associate-*r* *-commutative unswap-sqr
Calls
2 calls:
Slowest
13.0ms
(* 5 (* v v))
1.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

series40.0ms

Calls
2 calls:
Slowest
37.0ms
(* 5 (* v v))
3.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify1.5s

Calls
16 calls:
Slowest
301.0ms
(* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v)))
284.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
279.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
260.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
223.0ms
(* (* (* 5 5) 5) (* (* (* v v) v) (* (* v v) v)))

prune280.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.3b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Rules
25×cbrt-prod
23×add-sqr-sqrt
15×*-un-lft-identity add-cube-cbrt
11×pow1
9×pow1/3
6×swap-sqr associate-*r* associate-*l* add-exp-log
4×add-cbrt-cube insert-posit16 add-log-exp unswap-sqr
2×pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
20.0ms
(* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))
2.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
1.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
1.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))

series671.0ms

Calls
4 calls:
Slowest
205.0ms
(* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))
170.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
159.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
137.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))

simplify11.6s

Calls
65 calls:
Slowest
428.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)
416.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)
411.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)
386.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)
381.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)

prune670.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.3b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite85.0ms

Algorithm
rewrite-expression-head
Rules
162×cbrt-prod
136×pow1
94×add-sqr-sqrt
62×pow1/3
55×pow-prod-up
40×*-un-lft-identity add-cube-cbrt
39×pow-sqr
38×pow-prod-down
28×swap-sqr associate-*r* associate-*l* unswap-sqr
22×add-exp-log
21×pow-plus
16×pow2
11×prod-exp cbrt-unprod
8×add-cbrt-cube
4×*-commutative insert-posit16 add-log-exp
Calls
4 calls:
Slowest
50.0ms
(* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
11.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
10.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
9.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))

series832.0ms

Calls
4 calls:
Slowest
242.0ms
(* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
226.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
194.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
170.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))

simplify44.4s

Calls
322 calls:
Slowest
602.0ms
(cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))
596.0ms
(* (cbrt (cbrt (sqrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (sqrt (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))))
344.0ms
(* (* (* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
319.0ms
(* (* (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))) (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (* (* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))
272.0ms
(* (* (* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))) (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))))

prune2.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

localize53.0ms

Local error

Found 4 expressions with local error:

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

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
123×cbrt-prod
71×add-sqr-sqrt
37×pow1
32×*-un-lft-identity add-cube-cbrt
27×associate-*r*
22×pow1/3
21×unswap-sqr
19×associate-*l*
18×swap-sqr
13×add-exp-log pow-prod-up
9×pow-prod-down
8×pow-plus
7×pow-sqr
5×add-cbrt-cube prod-exp cbrt-unprod
4×pow2 insert-posit16 add-log-exp
3×*-commutative
1×pow3
Calls
4 calls:
Slowest
46.0ms
(* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
24.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
19.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
1.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))

series746.0ms

Calls
4 calls:
Slowest
224.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
196.0ms
(* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
183.0ms
(cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))
142.0ms
(* (* (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))))) (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))

simplify30.8s

Calls
187 calls:
Slowest
704.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)
531.0ms
(cbrt (cbrt (cbrt (acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1))))))
432.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)
383.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)
342.0ms
(pow (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))) 1/3)

prune1.8s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.3b

regimes177.0ms

Accuracy

0% (0.0b remaining)

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

bsearch1.0ms

end0.0ms

sample7.6s

Algorithm
intervals
Results
3.0s2962×body2560valid
2.2s2463×body1280valid
901.0ms8163×body80nan
724.0ms1234×body640valid
315.0ms693×body320valid
111.0ms429×body160valid
30.0ms219×body80valid