Details

Time bar (total: 13.2s)

sample186.0ms

Algorithm
intervals
Results
69.0ms103×body2560valid
37.0ms243×body80nan
32.0ms70×body1280valid
14.0ms35×body640valid
7.0ms25×body320valid
2.0ms12×body160valid
1.0ms11×body80valid

simplify628.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0914
11914
24214
37714
414614
523314
690114
done500014

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize16.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
0.1b
(* 5.0 (* v v))
0.8b
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite54.0ms

Algorithm
rewrite-expression-head
Rules
18×add-sqr-sqrt
13×add-cube-cbrt *-un-lft-identity
12×times-frac
10×add-exp-log add-cbrt-cube
8×pow1
4×associate-/r* difference-of-squares
3×associate-*l* pow-prod-down prod-exp cbrt-unprod associate-/l* add-log-exp
2×flip3-- associate-/r/ flip-- associate-/l/
1×cbrt-undiv acos-asin frac-2neg div-sub div-exp associate-*r* clear-num *-commutative div-inv unswap-sqr
Counts
3 → 63
Calls
3 calls:
26.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
25.0ms
(* 5.0 (* v v))
1.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series183.0ms

Counts
3 → 9
Calls
3 calls:
139.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
38.0ms
(* 5.0 (* v v))
5.0ms
(acos (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify1.3s

Counts
72 → 72
Iterations

Useful iterations: done (1.3s)

IterNodesCost
01391198
13661162
219891056
done50001052

prune259.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.8b

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
0.0b
(- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
0.1b
(* 5.0 (* v v))
0.8b
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite109.0ms

Algorithm
rewrite-expression-head
Rules
24×add-sqr-sqrt
16×*-un-lft-identity
14×add-cube-cbrt
13×times-frac
11×add-exp-log add-cbrt-cube
9×pow1
6×add-log-exp difference-of-squares
4×associate-/r*
3×flip3-- associate-*l* pow-prod-down prod-exp flip-- cbrt-unprod associate-/l*
2×asin-acos associate-/r/ associate-/l/
1×cbrt-undiv sub-neg frac-2neg diff-log div-sub div-exp associate-*r* clear-num *-commutative div-inv distribute-lft-out-- associate--r- unswap-sqr
Counts
4 → 79
Calls
4 calls:
35.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
31.0ms
(- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
35.0ms
(* 5.0 (* v v))
3.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series180.0ms

Counts
4 → 12
Calls
4 calls:
92.0ms
(/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))
48.0ms
(- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))
31.0ms
(* 5.0 (* v v))
8.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify1.4s

Counts
91 → 91
Iterations

Useful iterations: done (1.4s)

IterNodesCost
01711732
14521674
221661530
done50001528

prune356.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.8b

localize34.0ms

Local error

Found 4 expressions with local error:

0.0b
(log (- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
0.0b
(exp (log (- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
0.1b
(* 5.0 (* v v))
0.8b
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite95.0ms

Algorithm
rewrite-expression-head
Rules
19×add-sqr-sqrt
12×log-prod *-un-lft-identity
11×pow1
10×add-exp-log
9×add-cbrt-cube
8×add-cube-cbrt
6×exp-sum
4×log-div exp-prod add-log-exp difference-of-squares
3×associate-*l* pow-prod-down prod-exp cbrt-unprod
2×flip3-- times-frac exp-diff log-pow flip-- distribute-lft-out--
1×asin-acos rem-log-exp associate-*r* *-commutative rem-exp-log unswap-sqr
Counts
4 → 64
Calls
4 calls:
26.0ms
(log (- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
28.0ms
(exp (log (- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
36.0ms
(* 5.0 (* v v))
3.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series285.0ms

Counts
4 → 12
Calls
4 calls:
181.0ms
(log (- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))))
58.0ms
(exp (log (- (/ PI 2) (asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0))))))
41.0ms
(* 5.0 (* v v))
5.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify662.0ms

Counts
76 → 76
Iterations

Useful iterations: done (657.0ms)

IterNodesCost
01221724
12591633
29231455
done50001451

prune261.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.8b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(* 5.0 (* v v))
0.1b
(* 5.0 (* v v))
0.8b
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
0.8b
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

rewrite86.0ms

Algorithm
rewrite-expression-head
Rules
14×pow1 add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×add-cube-cbrt *-un-lft-identity associate-*l* pow-prod-down prod-exp cbrt-unprod
4×add-log-exp
2×asin-acos associate-*r* *-commutative unswap-sqr
Counts
4 → 54
Calls
4 calls:
44.0ms
(* 5.0 (* v v))
36.0ms
(* 5.0 (* v v))
2.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
1.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

series81.0ms

Counts
4 → 12
Calls
4 calls:
27.0ms
(* 5.0 (* v v))
41.0ms
(* 5.0 (* v v))
4.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))
8.0ms
(asin (/ (- 1.0 (* 5.0 (* v v))) (- (* v v) 1.0)))

simplify716.0ms

Counts
66 → 66
Iterations

Useful iterations: done (713.0ms)

IterNodesCost
053742
1125736
2604628
done5000620

prune320.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.8b

regimes116.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01742
11842
done1842

end0.0ms

sample5.7s

Algorithm
intervals
Results
2.5s3010×body2560valid
1.1s2550×body1280valid
743.0ms1232×body640valid
642.0ms7919×body80nan
206.0ms606×body320valid
63.0ms411×body160valid
18.0ms191×body80valid