Details

Time bar (total: 1.8m)

sample103.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
36.0ms244×body80nan

simplify2.0s

Counts
1 → 1

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v))))
0.4b
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))
0.2b
(* 6 (* v v))
0.1b
(* (* v v) 5)

rewrite94.0ms

Algorithm
rewrite-expression-head
Rules
299×times-frac
118×add-sqr-sqrt
116×*-un-lft-identity add-cube-cbrt
60×sqrt-prod
44×add-cbrt-cube add-exp-log
32×associate-/l*
18×associate-/r/ div-inv
17×cbrt-undiv div-exp
16×associate-*r/
14×pow1
10×prod-exp cbrt-unprod
9×flip3-- flip--
7×associate-/r*
6×pow-prod-down
5×div-sub
4×associate-*r* associate-*l* insert-posit16 add-log-exp
2×clear-num frac-2neg sqrt-div *-commutative unswap-sqr associate-/l/
Counts
4 → 254
Calls
4 calls:
Slowest
43.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))
16.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v))))
14.0ms
(* (* v v) 5)
13.0ms
(* 6 (* v v))

series754.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
472.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v)))) (sqrt (- 2 (* 6 (* v v)))))
191.0ms
(/ (/ (- 1 (* (* v v) 5)) PI) (* t (- 1 (* v v))))
50.0ms
(* 6 (* v v))
40.0ms
(* (* v v) 5)

simplify887.0ms

Counts
266 → 266

prune3.5s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize33.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (/ 1 t) (/ (/ (/ (- 1 (* (* v v) 5)) PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
0.2b
(* 6 (* v v))
0.1b
(* (* v v) 5)
0.0b
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))

rewrite211.0ms

Algorithm
rewrite-expression-head
Rules
2341×times-frac
1193×add-sqr-sqrt
1113×*-un-lft-identity
937×add-cube-cbrt
438×sqrt-prod
436×associate-*r*
338×difference-of-squares
83×add-exp-log
81×div-inv
71×associate-/l*
55×add-cbrt-cube
38×div-exp
30×associate-/r/
23×unswap-sqr
22×cbrt-undiv prod-exp
17×associate-*l*
16×pow1
15×flip3-- flip--
14×cbrt-unprod
7×pow-prod-down
6×associate-/r*
4×rec-exp sqrt-div 1-exp insert-posit16 add-log-exp
3×div-sub *-commutative
1×frac-times clear-num frac-2neg associate-*l/ associate-*r/ associate-/l/
Counts
4 → 1067
Calls
4 calls:
Slowest
67.0ms
(* (/ 1 t) (/ (/ (/ (- 1 (* (* v v) 5)) PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
49.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))
24.0ms
(* (* v v) 5)
13.0ms
(* 6 (* v v))

series1.1s

Counts
4 → 12
Calls
4 calls:
Slowest
569.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))
438.0ms
(* (/ 1 t) (/ (/ (/ (- 1 (* (* v v) 5)) PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
49.0ms
(* 6 (* v v))
33.0ms
(* (* v v) 5)

simplify4.9s

Counts
1079 → 1079

prune16.7s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

localize59.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(sqrt PI)
1.0b
(/ (/ (/ (- 1 (* (* v v) 5)) (sqrt PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))
0.4b
(* (/ 1 (* t (sqrt PI))) (/ (/ (/ (- 1 (* (* v v) 5)) (sqrt PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))

rewrite246.0ms

Algorithm
rewrite-expression-head
Rules
4013×times-frac
1943×add-sqr-sqrt
1905×*-un-lft-identity
1619×add-cube-cbrt
1296×sqrt-prod
702×associate-*r*
572×difference-of-squares
131×add-exp-log
116×associate-/l*
81×div-inv
67×add-cbrt-cube
64×div-exp
40×prod-exp
32×cbrt-undiv
30×associate-/r/
16×cbrt-unprod
15×flip3-- flip--
9×unswap-sqr
8×pow1 rec-exp 1-exp
7×associate-*l*
6×associate-/r*
4×sqrt-div insert-posit16 add-log-exp
3×div-sub
2×rem-sqrt-square sqrt-pow1 pow1/2
1×frac-times clear-num frac-2neg pow-prod-down associate-*l/ associate-*r/ *-commutative associate-/l/
Counts
4 → 1638
Calls
4 calls:
Slowest
120.0ms
(* (/ 1 (* t (sqrt PI))) (/ (/ (/ (- 1 (* (* v v) 5)) (sqrt PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
42.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (sqrt PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))
2.0ms
(sqrt PI)
2.0ms
(sqrt PI)

series1.1s

Counts
4 → 8
Calls
4 calls:
Slowest
604.0ms
(/ (/ (/ (- 1 (* (* v v) 5)) (sqrt PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))
467.0ms
(* (/ 1 (* t (sqrt PI))) (/ (/ (/ (- 1 (* (* v v) 5)) (sqrt PI)) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v))))))
0.0ms
(sqrt PI)
0.0ms
(sqrt PI)

simplify8.0s

Counts
1646 → 1646

prune27.3s

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0b

localize94.0ms

Local error

Found 4 expressions with local error:

0.3b
(/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
0.2b
(* (/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v))))))) (/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) (- 1 (* v v))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
0.2b
(* 6 (* v v))
0.2b
(* 6 (* v v))

rewrite364.0ms

Algorithm
rewrite-expression-head
Rules
2452×times-frac
1350×add-sqr-sqrt
1046×*-un-lft-identity
1036×sqrt-prod
902×add-cube-cbrt
782×associate-*r*
556×cbrt-prod
288×difference-of-squares
95×add-exp-log
70×associate-*l*
69×add-cbrt-cube div-inv
67×unswap-sqr
52×associate-/l*
39×cbrt-undiv div-exp
36×associate-/r/
29×prod-exp cbrt-unprod
26×cbrt-div sqrt-div
22×flip3-- flip--
16×pow1
9×frac-times
7×pow-prod-down
5×associate-*l/ associate-*r/
4×insert-posit16 add-log-exp
3×*-commutative
1×clear-num associate-/r* frac-2neg associate-/l/
Counts
4 → 1125
Calls
4 calls:
Slowest
190.0ms
(* (/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v))))))) (/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) (- 1 (* v v))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
47.0ms
(/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
32.0ms
(* 6 (* v v))
20.0ms
(* 6 (* v v))

series1.9s

Counts
4 → 12
Calls
4 calls:
Slowest
942.0ms
(/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
504.0ms
(* (/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) t) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v))))))) (/ (/ (sqrt (/ (- 1 (* (* v v) 5)) PI)) (- 1 (* v v))) (cbrt (sqrt (- 2 (* 6 (* v v)))))))
374.0ms
(* 6 (* v v))
43.0ms
(* 6 (* v v))

simplify14.2s

Counts
1137 → 1137

prune23.7s

Pruning

5 alts after pruning (1 fresh and 4 done)

Merged error: 0b

regimes152.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch3.0ms

end0.0ms

sample2.8s

Algorithm
intervals
Results
1.4s8000×body80valid
1.1s8130×body80nan