Details

Time bar (total: 3.8m)

sample101.0ms

Algorithm
intervals
Results
43.0ms256×body80valid
35.0ms240×body80nan

simplify290.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
290.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite232.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
18×associate-*r/
16×pow1
13×add-sqr-sqrt prod-exp cbrt-unprod
10×*-un-lft-identity add-cube-cbrt
8×flip3-- sqrt-div associate-*r* associate-/r/ flip--
7×associate-*l* pow-prod-down
4×frac-times cbrt-undiv div-exp insert-posit16 add-log-exp
3×times-frac *-commutative associate-/l*
2×associate-*l/ unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-sub sqrt-prod div-inv
Counts
4 → 98
Calls
4 calls:
Slowest
151.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
53.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
16.0ms
(* 5 (* v v))
11.0ms
(* PI t)

series863.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
529.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
275.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
37.0ms
(* 5 (* v v))
22.0ms
(* PI t)

simplify13.7s

Counts
71 → 110
Calls
71 calls:
Slowest
1.4s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
1.2s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
906.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
869.0ms
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI PI) PI) (* (* t t) t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
442.0ms
(- (* 1 1) (* (* 5 (* v v)) (* 5 (* v v))))

prune1.6s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 0.1b

localize90.0ms

Local error

Found 4 expressions with local error:

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

rewrite295.0ms

Algorithm
rewrite-expression-head
Rules
30×add-cbrt-cube add-exp-log
18×associate-*r/
16×pow1
13×add-sqr-sqrt prod-exp cbrt-unprod
10×*-un-lft-identity add-cube-cbrt
8×flip3-- sqrt-div associate-*r* associate-/r/ flip--
7×associate-*l* pow-prod-down
4×frac-times cbrt-undiv div-exp insert-posit16 add-log-exp
3×times-frac *-commutative associate-/l*
2×associate-*l/ unswap-sqr associate-/l/
1×clear-num associate-/r* frac-2neg div-sub sqrt-prod div-inv
Counts
4 → 98
Calls
4 calls:
Slowest
187.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3))))) (- 1 (* v v))))
79.0ms
(* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3)))))
16.0ms
(* 5 (* v v))
10.0ms
(* PI t)

series933.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
511.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3))))) (- 1 (* v v))))
352.0ms
(* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3)))))
36.0ms
(* PI t)
35.0ms
(* 5 (* v v))

simplify15.0s

Counts
71 → 110
Calls
71 calls:
Slowest
1.8s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3))))) (- 1 (* v v))) (* (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3))))) (- 1 (* v v)))) (* (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3))))) (- 1 (* v v)))))
1.4s
(/ (* (* (- 1 (* 5 (* v v))) (- 1 (* 5 (* v v)))) (- 1 (* 5 (* v v)))) (* (* (* (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3))))) (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3)))))) (* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3)))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
550.0ms
(* (* PI t) (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3)))))
535.0ms
(sqrt (sqrt (* 2 (- (pow 1 3) (pow (* 3 (* v v)) 3)))))
532.0ms
(* t (* (sqrt 2) (* (pow v 3) (* (sqrt -27) PI))))

prune2.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize132.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ (/ (/ 1 t) PI) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))))
0.3b
(/ (/ 1 t) PI)
0.2b
(* 5 (* v v))
0.1b
(* 3 (* v v))

rewrite92.0ms

Algorithm
rewrite-expression-head
Rules
795×times-frac
383×add-sqr-sqrt
381×*-un-lft-identity add-cube-cbrt
132×sqrt-prod
56×associate-/l*
38×add-exp-log
34×div-inv
28×add-cbrt-cube
17×div-exp
14×pow1
9×cbrt-undiv associate-/r*
6×associate-*l* pow-prod-down prod-exp cbrt-unprod
4×insert-posit16 add-log-exp
2×rec-exp clear-num frac-2neg sqrt-div 1-exp associate-*r* associate-/r/ *-commutative unswap-sqr associate-/l/
1×flip3-- flip--
Counts
4 → 442
Calls
4 calls:
Slowest
29.0ms
(/ (/ (/ 1 t) PI) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))))
18.0ms
(* 5 (* v v))
16.0ms
(* 3 (* v v))
13.0ms
(/ (/ 1 t) PI)

series313.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
162.0ms
(/ (/ (/ 1 t) PI) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))))
54.0ms
(/ (/ 1 t) PI)
49.0ms
(* 5 (* v v))
49.0ms
(* 3 (* v v))

simplify2.1m

Counts
704 → 454
Calls
704 calls:
Slowest
688.0ms
(/ (/ (/ 1 1) (* (cbrt PI) (cbrt PI))) (sqrt (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))))
626.0ms
(/ (/ (* (cbrt (/ 1 t)) (cbrt (/ 1 t))) (sqrt PI)) (sqrt (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))))
623.0ms
(/ (/ (/ (* (cbrt 1) (cbrt 1)) (sqrt t)) 1) (* (cbrt (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))) (cbrt (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))))))
620.0ms
(sqrt (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))))
596.0ms
(/ (/ (/ (* (cbrt 1) (cbrt 1)) (* (cbrt t) (cbrt t))) (* (cbrt PI) (cbrt PI))) 1)

prune9.4s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize136.0ms

Local error

Found 4 expressions with local error:

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

rewrite149.0ms

Algorithm
rewrite-expression-head
Rules
185×times-frac
159×add-sqr-sqrt
96×*-un-lft-identity
87×associate-*r*
84×add-exp-log
83×add-cube-cbrt
48×sqrt-prod
40×add-cbrt-cube
34×div-exp
29×prod-exp
24×unswap-sqr
22×associate-*l*
21×pow1
15×cbrt-unprod
10×pow-prod-down
9×cbrt-undiv rec-exp 1-exp
8×div-inv
4×*-commutative insert-posit16 add-log-exp
2×sqrt-div associate-/r/
1×frac-times flip3-- associate-*l/ associate-*r/ flip--
Counts
4 → 217
Calls
4 calls:
Slowest
60.0ms
(* (/ 1 t) (/ (/ 1 PI) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))))
27.0ms
(* 3 (* v v))
26.0ms
(* 3 (* v v))
24.0ms
(* 5 (* v v))

series328.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
182.0ms
(* (/ 1 t) (/ (/ 1 PI) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))))
55.0ms
(* 3 (* v v))
47.0ms
(* 5 (* v v))
45.0ms
(* 3 (* v v))

simplify43.3s

Counts
210 → 229
Calls
210 calls:
Slowest
739.0ms
(* (/ (* (* 1 1) 1) (* (* t t) t)) (/ (/ (* (* 1 1) 1) (* (* PI PI) PI)) (* (* (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))))))
502.0ms
(/ (/ 1 (sqrt PI)) (sqrt (cbrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))))
484.0ms
(* -1 (/ (sqrt -1/54) (* t (* (pow v 3) PI))))
444.0ms
(* (/ (* (* 1 1) 1) (* (* t t) t)) (/ (* (* (/ 1 PI) (/ 1 PI)) (/ 1 PI)) (* (* (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v))))))) (sqrt (- 2 (* 54 (* (* v (* v v)) (* v (* v v)))))))))
410.0ms
(/ (sqrt -1/54) (* t (* (pow v 3) PI)))

prune4.7s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

regimes311.0ms

Accuracy

0% (0.1b remaining)

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

bsearch6.0ms

end0.0ms

sample3.8s

Algorithm
intervals
Results
1.8s8050×body80nan
1.6s8000×body80valid