Details

Time bar (total: 4.7m)Debug log

sample114.0ms

Algorithm
intervals
Results
54.0ms256×body80nan
43.0ms256×body80valid

simplify90.0ms

Calls
1 calls:
Slowest
90.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.4b

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-*r/
15×add-exp-log
15×add-cbrt-cube
8×flip--
8×associate-/r/
8×sqrt-div
8×flip3--
7×add-cube-cbrt
7×*-un-lft-identity
7×add-sqr-sqrt
6×pow1
5×associate-*r*
4×add-log-exp
4×cbrt-unprod
4×prod-exp
4×frac-times
3×associate-/l*
3×*-commutative
3×div-exp
3×times-frac
3×cbrt-undiv
2×associate-/l/
2×associate-*l/
1×div-inv
1×sqrt-prod
1×pow-prod-down
1×associate-*l*
1×div-sub
1×frac-2neg
1×associate-/r*
1×clear-num
Calls
4 calls:
Slowest
17.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
16.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
1.0ms
(* 5 (* v v))
0.0ms
(* PI t)

series448.0ms

Calls
4 calls:
Slowest
300.0ms
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v))))
105.0ms
(* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v))))))
31.0ms
(* PI t)
11.0ms
(* 5 (* v v))

simplify6.1s

Calls
47 calls:
Slowest
398.0ms
(* (* (* (* PI t) (* PI t)) (* PI t)) (* (* (sqrt (* 2 (- 1 (* 3 (* v v))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (sqrt (* 2 (- 1 (* 3 (* v v)))))))
378.0ms
(* (sqrt (+ (* 1 1) (+ (* (* 3 (* v v)) (* 3 (* v v))) (* 1 (* 3 (* v v)))))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
345.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))))))) (* (* (- 1 (* v v)) (- 1 (* v v))) (- 1 (* v v)))))
315.0ms
(* (sqrt (+ 1 (* 3 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
302.0ms
(/ (* (cbrt (- 1 (* 5 (* v v)))) (cbrt (- 1 (* 5 (* v v))))) (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))))

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
1266×times-frac
486×add-cube-cbrt
486×*-un-lft-identity
486×add-sqr-sqrt
384×cbrt-prod
255×sqrt-prod
115×associate-/r/
88×cbrt-div
58×flip--
58×div-inv
58×flip3--
48×associate-/l*
28×sqrt-div
18×add-exp-log
18×associate-/r*
13×add-cbrt-cube
9×div-exp
9×cbrt-undiv
4×add-log-exp
4×pow1
3×associate-/l/
2×*-commutative
2×frac-2neg
2×clear-num
1×associate-*r*
Calls
4 calls:
Slowest
10.0ms
(/ (/ (cbrt (- 1 (* (* v v) 5))) (sqrt (- 2 (* 6 (* v v))))) (/ (* t PI) (cbrt (- 1 (* (* v v) 5)))))
4.0ms
(/ (cbrt (- 1 (* (* v v) 5))) (sqrt (- 2 (* 6 (* v v)))))
1.0ms
(* 6 (* v v))
0.0ms
(* t PI)

series718.0ms

Calls
4 calls:
Slowest
439.0ms
(/ (/ (cbrt (- 1 (* (* v v) 5))) (sqrt (- 2 (* 6 (* v v))))) (/ (* t PI) (cbrt (- 1 (* (* v v) 5)))))
228.0ms
(/ (cbrt (- 1 (* (* v v) 5))) (sqrt (- 2 (* 6 (* v v)))))
33.0ms
(* t PI)
18.0ms
(* 6 (* v v))

simplify1.7m

Calls
1172 calls:
Slowest
465.0ms
(- (+ (sqrt 1/2) (+ (/ (pow v 4) (sqrt 1/2)) (* 3/4 (/ (pow v 2) (sqrt 1/2))))) (+ (* 5/3 (* (pow v 2) (sqrt 1/2))) (+ (* 25/9 (* (pow v 4) (sqrt 1/2))) (* 9/32 (/ (pow v 4) (pow (sqrt 1/2) 3))))))
437.0ms
(/ (/ (cbrt (* (cbrt (- 1 (* (* v v) 5))) (cbrt (- 1 (* (* v v) 5))))) (sqrt (sqrt (- 2 (* 6 (* v v)))))) (/ t (sqrt (cbrt (- 1 (* (* v v) 5))))))
388.0ms
(/ (/ (cbrt (sqrt (- 1 (* (* v v) 5)))) (sqrt (cbrt (- 2 (* 6 (* v v)))))) (cbrt (+ (* 1 1) (+ (* (* (* v v) 5) (* (* v v) 5)) (* 1 (* (* v v) 5))))))
378.0ms
(/ (/ (cbrt (sqrt (- 1 (* (* v v) 5)))) (sqrt (- 2 (* 6 (* v v))))) (cbrt (+ (* 1 1) (+ (* (* (* v v) 5) (* (* v v) 5)) (* 1 (* (* v v) 5))))))
358.0ms
(/ (/ (sqrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (sqrt (- 2 (* 6 (* v v)))))) (/ t (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (cbrt (cbrt (- 1 (* (* v v) 5)))))))

prune8.9s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
1476×times-frac
765×cbrt-prod
648×add-cube-cbrt
648×*-un-lft-identity
648×add-sqr-sqrt
381×sqrt-prod
366×associate-*r*
272×associate-/r/
262×cbrt-div
140×flip--
140×flip3--
137×div-inv
69×associate-/l*
32×add-exp-log
28×sqrt-div
25×add-cbrt-cube
12×associate-/r*
10×div-exp
10×cbrt-undiv
9×cbrt-unprod
9×prod-exp
9×associate-*l/
9×pow1
9×frac-times
4×add-log-exp
3×associate-/l/
3×associate-*r/
3×pow-prod-down
2×*-commutative
2×frac-2neg
2×clear-num
1×associate-*l*
Calls
4 calls:
Slowest
24.0ms
(* (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t)) (/ (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (- 2 (* 6 (* v v))))) (/ PI (cbrt (- 1 (* (* v v) 5))))))
9.0ms
(/ (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (- 2 (* 6 (* v v))))) (/ PI (cbrt (- 1 (* (* v v) 5)))))
5.0ms
(/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (- 2 (* 6 (* v v)))))
1.0ms
(* 6 (* v v))

series636.0ms

Calls
4 calls:
Slowest
300.0ms
(* (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t)) (/ (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (- 2 (* 6 (* v v))))) (/ PI (cbrt (- 1 (* (* v v) 5))))))
193.0ms
(/ (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (- 2 (* 6 (* v v))))) (/ PI (cbrt (- 1 (* (* v v) 5)))))
133.0ms
(/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (- 2 (* 6 (* v v)))))
10.0ms
(* 6 (* v v))

simplify1.5m

Calls
1327 calls:
Slowest
460.0ms
(/ (/ (cbrt (cbrt (cbrt (- 1 (* (* v v) 5))))) (sqrt (sqrt (- 2 (* 6 (* v v)))))) (cbrt (+ (* 1 1) (+ (* (* (* v v) 5) (* (* v v) 5)) (* 1 (* (* v v) 5))))))
391.0ms
(/ (/ (cbrt 1) (* (cbrt (sqrt (- 2 (* 6 (* v v))))) (cbrt (sqrt (- 2 (* 6 (* v v))))))) (/ PI (cbrt (- (* 1 1) (* (* (* v v) 5) (* (* v v) 5))))))
368.0ms
(/ (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (- (pow 2 3) (pow (* 6 (* v v)) 3)))) (* (cbrt (/ PI (cbrt (- 1 (* (* v v) 5))))) (cbrt (/ PI (cbrt (- 1 (* (* v v) 5)))))))
318.0ms
(/ (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) (sqrt (sqrt (- 2 (* 6 (* v v)))))) (/ 1 (cbrt (- 1 (* (* v v) 5)))))
283.0ms
(/ (/ (cbrt (cbrt (cbrt (- 1 (* (* v v) 5))))) (cbrt (sqrt (- 2 (* 6 (* v v)))))) (cbrt (+ (* 1 1) (+ (* (* (* v v) 5) (* (* v v) 5)) (* 1 (* (* v v) 5))))))

prune15.2s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize71.0ms

Local error

Found 4 expressions with local error:

1.0b
(/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))
1.0b
(* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))
0.2b
(* (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t)) (* (* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))) (/ (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36)))) (cbrt (+ (* v (* 5 v)) 1)))))
0.2b
(* (* v v) 12)

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
82×frac-times
76×add-exp-log
72×times-frac
66×cbrt-div
58×add-cube-cbrt
58×*-un-lft-identity
58×add-sqr-sqrt
57×add-cbrt-cube
52×associate-*l/
43×cbrt-unprod
43×prod-exp
43×associate-*r*
39×sqrt-prod
39×cbrt-prod
34×associate-*r/
27×pow1
18×flip--
18×flip3--
16×pow-prod-down
12×div-exp
12×cbrt-undiv
6×associate-/l*
6×associate-*l*
6×associate-/r*
4×add-log-exp
4×associate-/r/
4×sqrt-div
3×div-inv
3×*-commutative
2×associate-/l/
1×flip-+
1×flip3-+
1×frac-2neg
1×clear-num
Calls
4 calls:
Slowest
51.0ms
(* (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t)) (* (* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))) (/ (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36)))) (cbrt (+ (* v (* 5 v)) 1)))))
8.0ms
(* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))
6.0ms
(/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))
2.0ms
(* (* v v) 12)

series865.0ms

Calls
4 calls:
Slowest
339.0ms
(* (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t)) (* (* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))) (/ (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36)))) (cbrt (+ (* v (* 5 v)) 1)))))
260.0ms
(/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))
256.0ms
(* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))
10.0ms
(* (* v v) 12)

simplify45.8s

Calls
272 calls:
Slowest
465.0ms
(/ (sqrt (cbrt (+ (* -25 (pow v 4)) 1))) (sqrt (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))
455.0ms
(/ (* (cbrt (cbrt (+ (* -25 (pow v 4)) 1))) (cbrt (cbrt (+ (* -25 (pow v 4)) 1)))) (sqrt (* (cbrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))) (cbrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))))
382.0ms
(* (* (* (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t)) (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t))) (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t))) (* (* (* (* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))) (* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))) (* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))) (/ (* (* (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36)))) (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36))))) (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36))))) (+ (* v (* 5 v)) 1))))
334.0ms
(* (* (* (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t)) (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t))) (* (cbrt (cbrt (- 1 (* (* v v) 5)))) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) t))) (* (* (* (* (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI)) (/ (cbrt (cbrt (- 1 (* (* v v) 5)))) PI)) (* (* (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v))))))) (/ (cbrt (+ (* -25 (pow v 4)) 1)) (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))) (/ (* (* (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36)))) (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36))))) (sqrt (+ 4 (+ (* (* v v) 12) (* (pow v 4) 36))))) (+ (* v (* 5 v)) 1))))
333.0ms
(/ (cbrt (cbrt (+ (* -25 (pow v 4)) 1))) (sqrt (sqrt (- 8 (* (* (* 36 v) (* v v)) (* (* 6 v) (* v v)))))))

prune5.8s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes196.0ms

Accuracy

0% (0.3b remaining)

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

bsearch7.0ms

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.3s8000×body80valid
1.0s7941×body80nan