Details

Time bar (total: 48.6s)

sample265.0ms

Algorithm
intervals
Results
125.0ms100×body2560valid
66.0ms85×body1280valid
28.0ms239×body80nan
19.0ms33×body640valid
8.0ms18×body320valid
4.0ms14×body160valid
1.0ms6×body80valid

simplify161.0ms

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

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize31.0ms

Local error

Found 4 expressions with local error:

0.4b
(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)))

rewrite18.0ms

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

series103.0ms

Calls
4 calls:
Slowest
44.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
35.0ms
(- 1 (* 5 (* v v)))
19.0ms
(* 5 (* v v))
6.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify5.6s

Calls
49 calls:
Slowest
315.0ms
(- (pow 1 3) (pow (* 5 (* v v)) 3))
309.0ms
(- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v))))
280.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
272.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
272.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))

prune593.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.4b

localize17.0ms

Local error

Found 4 expressions with local error:

0.4b
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
0.1b
(* 5 (* v v))
0.1b
(* 5 (* v v))
0.1b
(* 5 (* v v))

rewrite5.0ms

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

series61.0ms

Calls
4 calls:
Slowest
23.0ms
(* 5 (* v v))
19.0ms
(* 5 (* v v))
13.0ms
(* 5 (* v v))
5.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))

simplify1.3s

Calls
12 calls:
Slowest
705.0ms
(acos (/ (- 1 (* 25 (pow v 4))) (* (- (pow v 2) 1) (+ (* 5 (pow v 2)) 1))))
320.0ms
(acos (/ (- 1 (* 25 (pow v 4))) (* (- (pow v 2) 1) (+ (* 5 (pow v 2)) 1))))
230.0ms
(acos (/ (- 1 (* 25 (pow v 4))) (* (+ (* 5 (pow v 2)) 1) (- (pow v 2) 1))))
12.0ms
(* 5 (pow v 2))
11.0ms
(* 5 (pow v 2))

prune463.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite43.0ms

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

series75.0ms

Calls
4 calls:
Slowest
40.0ms
(* (* (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))
15.0ms
(cbrt (* (* (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))))
11.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
9.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))

simplify15.3s

Calls
34 calls:
Slowest
808.0ms
(cbrt (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))
736.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
724.0ms
(* (* (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))
722.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
704.0ms
(+ (+ (log (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))) (log (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))) (log (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))))

prune650.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

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

series80.0ms

Calls
4 calls:
Slowest
55.0ms
(* (* (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))
9.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
8.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
8.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))

simplify14.6s

Calls
32 calls:
Slowest
975.0ms
(* (* (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))
809.0ms
(cbrt (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))
763.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
740.0ms
(acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))
724.0ms
(+ (log (* (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))) (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1))))) (log (acos (/ (/ (- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v)))) (+ 1 (* 5 (* v v)))) (- (* v v) 1)))))

prune763.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.4b

regimes52.0ms

Accuracy

0% (0.0b remaining)

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

bsearch5.0ms

end0.0ms

sample8.3s

Algorithm
intervals
Results
3.6s3070×body2560valid
1.9s2503×body1280valid
1.1s1173×body640valid
950.0ms7930×body80nan
330.0ms611×body320valid
106.0ms418×body160valid
32.0ms225×body80valid