Details

Time bar (total: 37.5s)

sample220.0ms

Algorithm
intervals
Results
120.0ms114×body2560valid
38.0ms63×body1280valid
23.0ms259×body80nan
17.0ms38×body640valid
6.0ms16×body320valid
3.0ms14×body160valid
1.0ms11×body80valid

simplify174.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize28.0ms

Local error

Found 3 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt *-un-lft-identity times-frac add-cube-cbrt
5×add-cbrt-cube add-exp-log
4×associate-/r* difference-of-sqr-1
3×pow1 insert-posit16 associate-/l* add-log-exp
2×flip3-- associate-/r/ flip-- associate-/l/
1×acos-asin cbrt-undiv clear-num frac-2neg div-sub div-exp associate-*r* *-commutative div-inv
Calls
3 calls:
Slowest
5.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
1.0ms
(* 5 (* v v))
1.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

series118.0ms

Calls
3 calls:
Slowest
83.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
32.0ms
(* 5 (* v v))
3.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify5.3s

Calls
46 calls:
Slowest
314.0ms
(- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v))))
293.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
281.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
280.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
220.0ms
(- (pow 1 3) (pow (* 5 (* v v)) 3))

prune604.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-/r*
12×times-frac
11×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×add-exp-log
4×pow1
3×add-cbrt-cube difference-of-sqr-1 associate-/r/ insert-posit16 add-log-exp
2×rec-exp div-inv
1×acos-asin clear-num frac-2neg flip3-- div-exp associate-*r* *-commutative pow-flip flip-- inv-pow
Calls
3 calls:
Slowest
5.0ms
(/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))
2.0ms
(* 5 (* v v))
2.0ms
(acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))

series145.0ms

Calls
3 calls:
Slowest
96.0ms
(/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))
43.0ms
(* 5 (* v v))
6.0ms
(acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))

simplify4.6s

Calls
29 calls:
Slowest
345.0ms
(+ (* 1 1) (+ (* (* 5 (* v v)) (* 5 (* v v))) (* 1 (* 5 (* v v)))))
328.0ms
(sqrt (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))
327.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
318.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
316.0ms
(/ (- (* v v) 1) (- 1 (* 5 (* v v))))

prune487.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.6b

localize12.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt sqrt-prod
10×*-un-lft-identity add-cube-cbrt
9×pow1
6×add-cbrt-cube pow1/2 associate-*r* associate-*l* add-exp-log
4×insert-posit16 add-log-exp
2×rem-sqrt-square pow-prod-down pow-prod-up
1×pow2 acos-asin rem-square-sqrt pow-plus sqrt-unprod prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
11.0ms
(* (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))) (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))))
1.0ms
(sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))
1.0ms
(sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))
1.0ms
(acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))

series63.0ms

Calls
4 calls:
Slowest
27.0ms
(sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))
24.0ms
(sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))
7.0ms
(* (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))) (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))))
5.0ms
(acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))

simplify7.5s

Calls
42 calls:
Slowest
332.0ms
(sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))
316.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
284.0ms
(sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))
283.0ms
(sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))
273.0ms
(sqrt (acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1))))

prune550.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.6b

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

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

series40.0ms

Calls
4 calls:
Slowest
17.0ms
(sqrt (acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v)))))
16.0ms
(sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))
4.0ms
(* (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v))))))
3.0ms
(acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v))))

simplify9.2s

Calls
36 calls:
Slowest
678.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
359.0ms
(+ (log (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))) (log (sqrt (acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v)))))))
346.0ms
(* (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))) (acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v)))))
336.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
335.0ms
(* (* (* (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v))))))) (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))) (sqrt (acos (/ 1 (/ (- (* v v) 1) (- 1 (* 5 (* v v)))))))) (* (* (sqrt (acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v)))))) (sqrt (acos (/ (- 1 (* 5 (* v v))) (+ -1 (* v v)))))))

prune626.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.6b

regimes100.0ms

Accuracy

0% (0.0b remaining)

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

bsearch4.0ms

end0.0ms

sample7.7s

Algorithm
intervals
Results
2.7s3093×body2560valid
1.8s2418×body1280valid
1.2s1259×body640valid
898.0ms8122×body80nan
472.0ms194×body80valid
261.0ms631×body320valid
100.0ms405×body160valid