Details

Time bar (total: 51.9s)

sample213.0ms

Algorithm
intervals
Results
76.0ms88×body2560valid
52.0ms79×body1280valid
34.0ms270×body80nan
24.0ms47×body640valid
7.0ms18×body320valid
4.0ms14×body160valid
1.0ms10×body80valid

simplify189.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
189.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.7b

localize33.0ms

Local error

Found 3 expressions with local error:

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

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
19×*-un-lft-identity
18×times-frac
15×add-cube-cbrt
10×add-cbrt-cube add-exp-log
8×pow1 difference-of-squares
6×associate-/r*
4×difference-of-sqr-1
3×associate-*l* pow-prod-down prod-exp cbrt-unprod 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 unswap-sqr
Counts
3 → 74
Calls
3 calls:
Slowest
39.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
31.0ms
(* 5 (* v v))
2.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

series142.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
87.0ms
(/ (- 1 (* 5 (* v v))) (- (* v v) 1))
48.0ms
(* 5 (* v v))
6.0ms
(acos (/ (- 1 (* 5 (* v v))) (- (* v v) 1)))

simplify8.2s

Counts
70 → 83
Calls
70 calls:
Slowest
833.0ms
(- (pow 1 3) (pow (* 5 (* v v)) 3))
554.0ms
(- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v))))
326.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
293.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
282.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))

prune710.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.7b

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite116.0ms

Algorithm
rewrite-expression-head
Rules
92×add-sqr-sqrt
76×times-frac
50×*-un-lft-identity
44×associate-*r*
38×add-cube-cbrt sqrt-prod
31×add-exp-log
28×associate-*l*
26×add-cbrt-cube
17×unswap-sqr
16×pow1
12×prod-exp difference-of-squares
10×cbrt-unprod
7×div-exp pow-prod-down
6×difference-of-sqr-1
4×cbrt-undiv insert-posit16 add-log-exp
3×*-commutative
2×1-exp associate-/r/ div-inv
1×acos-asin frac-times flip3-- associate-*l/ associate-*r/ flip--
Counts
4 → 151
Calls
4 calls:
Slowest
63.0ms
(* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1)))
26.0ms
(* 5 (* v v))
22.0ms
(* 5 (* v v))
1.0ms
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))

series149.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
76.0ms
(* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1)))
39.0ms
(* 5 (* v v))
30.0ms
(* 5 (* v v))
4.0ms
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))

simplify17.4s

Counts
140 → 163
Calls
140 calls:
Slowest
415.0ms
(+ (- (log (sqrt (- 1 (* 5 (* v v))))) 0) (log (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))
314.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
309.0ms
(+ (- (log (sqrt (- 1 (* 5 (* v v))))) (log 1)) (- (log (sqrt (- 1 (* 5 (* v v))))) (log (- (* v v) 1))))
285.0ms
(* (* (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) 1)) (/ (sqrt (- 1 (* 5 (* v v)))) 1)) (/ (* (* (sqrt (- 1 (* 5 (* v v)))) (sqrt (- 1 (* 5 (* v v))))) (sqrt (- 1 (* 5 (* v v))))) (* (* (- (* v v) 1) (- (* v v) 1)) (- (* v v) 1))))
282.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))

prune1.7s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.7b

localize47.0ms

Local error

Found 4 expressions with local error:

0.7b
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))
0.2b
(* 5 (* v v))
0.2b
(* 5 (* v v))
0.0b
(exp (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
15×pow1
14×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×exp-prod insert-posit16 add-log-exp
3×log-prod exp-sum
2×associate-*r* *-commutative unswap-sqr
1×acos-asin log-pow rem-exp-log
Counts
4 → 65
Calls
4 calls:
Slowest
21.0ms
(* 5 (* v v))
16.0ms
(* 5 (* v v))
6.0ms
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))
3.0ms
(exp (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))

series78.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
34.0ms
(* 5 (* v v))
34.0ms
(* 5 (* v v))
6.0ms
(exp (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))
4.0ms
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))

simplify5.0s

Counts
40 → 77
Calls
40 calls:
Slowest
380.0ms
(exp (* (cbrt (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1)))))) (cbrt (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))))
376.0ms
(exp (log (sqrt (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1)))))))
361.0ms
(exp (log (* (cbrt (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))) (cbrt (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))))
353.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))
338.0ms
(acos (/ (- 1 (* 5 (pow v 2))) (- (pow v 2) 1)))

prune1.1s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.7b

localize58.0ms

Local error

Found 4 expressions with local error:

0.7b
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))
0.2b
(* 5 (* v v))
0.2b
(* 5 (* v v))
0.0b
(pow E (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
16×pow1
15×add-exp-log
14×add-cbrt-cube
11×add-sqr-sqrt
9×*-un-lft-identity add-cube-cbrt
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×pow-unpow insert-posit16 add-log-exp
3×unpow-prod-up log-prod unpow-prod-down
2×associate-*r* pow-exp *-commutative unswap-sqr
1×acos-asin pow-to-exp e-exp-1 pow-pow log-pow sqr-pow
Counts
4 → 72
Calls
4 calls:
Slowest
32.0ms
(* 5 (* v v))
21.0ms
(* 5 (* v v))
5.0ms
(pow E (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))
1.0ms
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))

series394.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
311.0ms
(pow E (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))
48.0ms
(* 5 (* v v))
31.0ms
(* 5 (* v v))
5.0ms
(acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))

simplify6.7s

Counts
44 → 84
Calls
44 calls:
Slowest
759.0ms
(log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1)))))
376.0ms
(* (log E) (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))
362.0ms
(* 1 (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))
343.0ms
(cbrt (log (acos (* (/ (sqrt (- 1 (* 5 (* v v)))) 1) (/ (sqrt (- 1 (* 5 (* v v)))) (- (* v v) 1))))))
316.0ms
(* (* (* 5 5) 5) (* (* (* v v) (* v v)) (* v v)))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.7b

regimes202.0ms

Accuracy

0% (0.0b remaining)

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

bsearch3.0ms

end0.0ms

sample8.3s

Algorithm
intervals
Results
3.5s2996×body2560valid
2.0s2454×body1280valid
1.4s8121×body80nan
736.0ms1301×body640valid
232.0ms615×body320valid
112.0ms424×body160valid
29.0ms210×body80valid