Details

Time bar (total: 1.9m)

sample145.0ms

Algorithm
intervals
Results
44.0ms256×body80valid
39.0ms217×body80nan

simplify503.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
503.0ms
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))

prune26.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.9b

localize93.0ms

Local error

Found 4 expressions with local error:

5.7b
(/ (* z (sqrt (+ t a))) t)
2.5b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.3b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ t a)))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-sub
16×add-cbrt-cube add-exp-log
15×add-sqr-sqrt
13×*-un-lft-identity
11×add-cube-cbrt
9×flip3-- flip--
8×frac-times associate-*r/
7×associate-*r*
6×pow1 times-frac associate--r+ add-log-exp
5×flip3-+ sqrt-prod flip-+
4×cbrt-undiv associate-/r* sqrt-div div-exp insert-posit16 associate-/l*
3×distribute-rgt-in sub-neg distribute-lft-in associate-*l* prod-exp cbrt-unprod
2×clear-num frac-2neg associate-*l/ associate--l+ div-inv unswap-sqr associate-/l/
1×diff-log pow-prod-down *-commutative distribute-lft-out
Counts
4 → 105
Calls
4 calls:
Slowest
30.0ms
(/ (* z (sqrt (+ t a))) t)
27.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
23.0ms
(* z (sqrt (+ t a)))
6.0ms
(/ 2.0 (* t 3.0))

series531.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
307.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
118.0ms
(/ (* z (sqrt (+ t a))) t)
83.0ms
(* z (sqrt (+ t a)))
22.0ms
(/ 2.0 (* t 3.0))

simplify13.1s

Counts
91 → 117
Calls
91 calls:
Slowest
689.0ms
(* t (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
684.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
661.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* t (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
652.0ms
(- (* (* z (sqrt (+ t a))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0))) (* (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))) (* t (* (- b c) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 2.0 (* t 3.0)) 3)))))
599.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* t (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (* t 3.0)) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 2.0)))))

prune2.5s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

5.7b
(/ (* z (sqrt (+ t a))) t)
2.5b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
0.2b
(* z (sqrt (+ t a)))
0.1b
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))

rewrite264.0ms

Algorithm
rewrite-expression-head
Rules
26×frac-sub
24×add-sqr-sqrt
20×*-un-lft-identity
17×flip3-- flip--
16×frac-times
14×associate-*r*
13×add-cbrt-cube add-exp-log
12×associate-*r/
11×add-cube-cbrt
8×pow1 flip3-+ associate-*l* flip-+
6×distribute-rgt-in distribute-lft-in associate--r+ add-log-exp
5×sub-neg sqrt-prod
4×times-frac sqrt-div associate-*l/ associate--l+ insert-posit16
3×associate-/r* prod-exp cbrt-unprod distribute-lft-out-- difference-of-squares unswap-sqr
2×cbrt-undiv div-exp pow-prod-down *-commutative distribute-lft-out associate-/l/
1×clear-num frac-2neg diff-log div-inv associate-/l*
Counts
4 → 128
Calls
4 calls:
Slowest
183.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
30.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
30.0ms
(* z (sqrt (+ t a)))
18.0ms
(/ (* z (sqrt (+ t a))) t)

series576.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
251.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
111.0ms
(/ (* z (sqrt (+ t a))) t)
108.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
105.0ms
(* z (sqrt (+ t a)))

simplify19.0s

Counts
122 → 140
Calls
122 calls:
Slowest
713.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t))))))
702.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) t))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) t) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 0.6666666666666666)))))
577.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (+ (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))) (* t (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t))))))
564.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) t))) (* t (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) t) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 0.6666666666666666)))))
530.0ms
(* t (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t)) (* (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))

prune3.0s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize77.0ms

Local error

Found 4 expressions with local error:

36.9b
(cbrt (* (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)) (/ (/ 2.0 3.0) t)))
5.7b
(/ (* z (sqrt (+ t a))) t)
2.5b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)) (/ (/ 2.0 3.0) t))))))
0.3b
(/ (/ 2.0 3.0) t)

rewrite125.0ms

Algorithm
rewrite-expression-head
Rules
92×frac-sub
78×times-frac
67×frac-times
49×cbrt-div
48×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
39×associate-*r/
37×associate-*l/
22×flip3-+ flip-+
21×flip3-- flip--
14×add-cbrt-cube add-exp-log associate-/l*
6×associate-/r* div-inv associate--r+ add-log-exp
5×cbrt-undiv div-exp
4×pow1 insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in associate-/l/
2×clear-num frac-2neg sqrt-div associate--l+
1×cbrt-prod pow1/3 diff-log pow3 prod-exp rem-cbrt-cube cbrt-unprod
Counts
4 → 182
Calls
4 calls:
Slowest
62.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)) (/ (/ 2.0 3.0) t))))))
36.0ms
(cbrt (* (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)) (/ (/ 2.0 3.0) t)))
14.0ms
(/ (* z (sqrt (+ t a))) t)
7.0ms
(/ (/ 2.0 3.0) t)

series653.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
437.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (cbrt (* (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)) (/ (/ 2.0 3.0) t))))))
111.0ms
(/ (* z (sqrt (+ t a))) t)
78.0ms
(cbrt (* (* (/ (/ 2.0 3.0) t) (/ (/ 2.0 3.0) t)) (/ (/ 2.0 3.0) t)))
27.0ms
(/ (/ 2.0 3.0) t)

simplify45.2s

Counts
237 → 194
Calls
237 calls:
Slowest
801.0ms
(* t (* (+ b c) (* (- a (/ 5.0 6.0)) (cbrt t))))
742.0ms
(/ (/ (* (* 2.0 2.0) 2.0) (* (* 3.0 3.0) 3.0)) (* (* t t) t))
741.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt (* t t))))) (* t (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (cbrt (* t t))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt (* (* (/ 2.0 3.0) (/ 2.0 3.0)) (/ (/ 2.0 3.0) t))))))))
737.0ms
(- (* (* z (sqrt (+ t a))) (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt t)))) (* t (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) (cbrt t)) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (cbrt (* (* (/ (/ 2.0 3.0) t) (/ 2.0 3.0)) (/ (/ 2.0 3.0) t))))))))
736.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (* (- a (/ 5.0 6.0)) (cbrt (* t t))))) (* t (* (- (pow b 3) (pow c 3)) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (cbrt (* t t))) (* (- a (/ 5.0 6.0)) (cbrt (* (* (/ (/ 2.0 3.0) t) (/ 2.0 3.0)) (/ 2.0 3.0))))))))

prune5.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize83.0ms

Local error

Found 4 expressions with local error:

56.8b
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))
5.7b
(/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t)
2.5b
(- (/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
0.2b
(* z (sqrt (+ t a)))

rewrite69.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-sub
19×add-sqr-sqrt
17×*-un-lft-identity
15×add-cube-cbrt
9×times-frac flip3-- flip--
8×frac-times add-cbrt-cube add-exp-log
7×associate-*r*
6×pow1 associate-*r/ associate--r+ add-log-exp
5×sqrt-prod
4×flip3-+ flip-+ insert-posit16
3×distribute-rgt-in associate-/r* sub-neg distribute-lft-in associate-*l* associate-/l*
2×sqrt-div associate-*l/ associate--l+ unswap-sqr
1×cbrt-undiv clear-num frac-2neg diff-log div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv remove-posit16 distribute-lft-out
Counts
4 → 96
Calls
4 calls:
Slowest
29.0ms
(* z (sqrt (+ t a)))
20.0ms
(- (/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
15.0ms
(/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t)
0.0ms
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))

series548.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
263.0ms
(- (/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
114.0ms
(/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t)
88.0ms
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))
83.0ms
(* z (sqrt (+ t a)))

simplify11.2s

Counts
89 → 108
Calls
89 calls:
Slowest
900.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) t))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) t) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 0.6666666666666666)))))
835.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (* (+ (* b b) (+ (* c c) (* b c))) (* (- a (/ 5.0 6.0)) t))) (* t (* (- (pow b 3) (pow c 3)) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) t) (* (- a (/ 5.0 6.0)) 0.6666666666666666)))))
614.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t))))))
580.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (* (+ b c) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) t))) (* t (* (- (* b b) (* c c)) (- (* (+ (pow a 3) (pow (/ 5.0 6.0) 3)) t) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) 0.6666666666666666)))))
510.0ms
(* t (* (+ (* b b) (+ (* c c) (* b c))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t)) (* (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))

prune3.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

regimes888.0ms

Accuracy

0.9% (6.4b remaining)

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

bsearch590.0ms

end0.0ms

sample5.9s

Algorithm
intervals
Results
2.7s8000×body80valid
2.6s7877×body80nan