Details

Time bar (total: 1.5m)

sample111.0ms

Algorithm
intervals
Results
35.0ms273×body80nan
35.0ms256×body80valid

simplify291.0ms

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

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.8b

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite161.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
106.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
35.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
13.0ms
(* 3 (* v v))
5.0ms
(* PI t)

series840.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
525.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
253.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
41.0ms
(* 3 (* v v))
21.0ms
(* PI t)

simplify14.2s

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)))))
944.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)))))
814.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)))))
568.0ms
(/ 1 (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))

prune1.6s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite164.0ms

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

series848.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
524.0ms
(/ (- 1 (* 5 (* v v))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
260.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
33.0ms
(* 3 (* v v))
30.0ms
(* PI t)

simplify9.8s

Counts
63 → 102
Calls
63 calls:
Slowest
762.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))))))))
672.0ms
(/ (* (* (- 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))))))))
622.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))))))))
415.0ms
(- (pow 1 3) (pow (* 5 (* v v)) 3))
409.0ms
(sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v))))))

prune1.3s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite176.0ms

Algorithm
rewrite-expression-head
Rules
64×add-exp-log
48×add-sqr-sqrt
44×times-frac
38×*-un-lft-identity add-cube-cbrt
34×add-cbrt-cube
27×associate-*r*
24×prod-exp
22×sqrt-prod
20×div-exp
11×pow1
10×cbrt-undiv associate-*l* cbrt-unprod
7×associate-/r*
6×rec-exp 1-exp associate-/l*
4×sqrt-div associate-/r/ insert-posit16 div-inv add-log-exp unswap-sqr
3×pow-prod-down
2×clear-num frac-2neg flip3-+ *-commutative flip-+ pow-flip associate-/l/
1×frac-times flip3-- div-sub associate-*l/ associate-*r/ flip-- inv-pow
Counts
4 → 160
Calls
4 calls:
Slowest
113.0ms
(* (/ 1 (* PI t)) (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2))))
31.0ms
(/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))
17.0ms
(/ 1 (* PI t))
10.0ms
(* PI t)

series715.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
345.0ms
(* (/ 1 (* PI t)) (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2))))
281.0ms
(/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))
45.0ms
(* PI t)
44.0ms
(/ 1 (* PI t))

simplify20.5s

Counts
148 → 172
Calls
148 calls:
Slowest
728.0ms
(+ (- (+ (log PI) (log t))) (log (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))))
638.0ms
(* 1 (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2))))
629.0ms
(* (/ (* (* 1 1) 1) (* (* (* PI PI) PI) (* (* t t) t))) (/ (* (* (- 1 (* (* v v) 5)) (- 1 (* (* v v) 5))) (- 1 (* (* v v) 5))) (* (* (sqrt (+ (* -6 (* v v)) 2)) (sqrt (+ (* -6 (* v v)) 2))) (sqrt (+ (* -6 (* v v)) 2)))))
553.0ms
(* (/ (* (* 1 1) 1) (* (* (* PI t) (* PI t)) (* PI t))) (/ (* (* (- 1 (* (* v v) 5)) (- 1 (* (* v v) 5))) (- 1 (* (* v v) 5))) (* (* (sqrt (+ (* -6 (* v v)) 2)) (sqrt (+ (* -6 (* v v)) 2))) (sqrt (+ (* -6 (* v v)) 2)))))
499.0ms
(* (/ (* (* 1 1) 1) (* (* (* PI t) (* PI t)) (* PI t))) (* (* (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2))) (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))) (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))))

prune2.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite157.0ms

Algorithm
rewrite-expression-head
Rules
200×times-frac
155×add-sqr-sqrt
113×*-un-lft-identity
110×add-cube-cbrt
55×add-exp-log
46×associate-*l*
37×add-cbrt-cube
25×associate-*r* sqrt-prod
24×div-exp
16×associate-/l*
13×cbrt-undiv prod-exp unswap-sqr
11×pow1 div-inv
9×associate-/r* cbrt-unprod
4×sqrt-div pow-prod-down associate-/r/ insert-posit16 add-log-exp
3×rec-exp 1-exp associate-/l/
2×clear-num frac-2neg flip3-+ *-commutative flip-+
1×frac-times flip3-- div-sub associate-*l/ associate-*r/ flip--
Counts
4 → 246
Calls
4 calls:
Slowest
90.0ms
(* (/ (/ 1 PI) t) (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2))))
39.0ms
(/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))
13.0ms
(* -6 (* v v))
11.0ms
(/ (/ 1 PI) t)

series732.0ms

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

simplify28.6s

Counts
281 → 258
Calls
281 calls:
Slowest
738.0ms
(* (* (* (/ (/ 1 PI) t) (/ (/ 1 PI) t)) (/ (/ 1 PI) t)) (* (* (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2))) (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))) (/ (- 1 (* (* v v) 5)) (sqrt (+ (* -6 (* v v)) 2)))))
582.0ms
(* (/ (/ (* (* 1 1) 1) (* (* PI PI) PI)) (* (* t t) t)) (/ (* (* (- 1 (* (* v v) 5)) (- 1 (* (* v v) 5))) (- 1 (* (* v v) 5))) (* (* (sqrt (+ (* -6 (* v v)) 2)) (sqrt (+ (* -6 (* v v)) 2))) (sqrt (+ (* -6 (* v v)) 2)))))
549.0ms
(* (/ (* (* (/ 1 PI) (/ 1 PI)) (/ 1 PI)) (* (* t t) t)) (/ (* (* (- 1 (* (* v v) 5)) (- 1 (* (* v v) 5))) (- 1 (* (* v v) 5))) (* (* (sqrt (+ (* -6 (* v v)) 2)) (sqrt (+ (* -6 (* v v)) 2))) (sqrt (+ (* -6 (* v v)) 2)))))
511.0ms
(* (/ 1 PI) (- 1 (* (* v v) 5)))
493.0ms
(- (pow 1 3) (pow (* (* v v) 5) 3))

prune3.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

regimes187.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.9s8188×body80nan
1.5s8000×body80valid