Details

Time bar (total: 1.3m)

sample109.0ms

Algorithm
intervals
Results
44.0ms217×body80nan
40.0ms256×body80valid

simplify547.0ms

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

prune48.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 2.7b

localize63.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)))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
75×*-un-lft-identity
63×prod-diff
62×associate--r+
49×add-sqr-sqrt
45×add-cube-cbrt
36×times-frac
31×distribute-rgt-in distribute-lft-in
20×frac-sub
16×add-cbrt-cube add-exp-log
15×distribute-lft-out
12×div-inv
9×flip3-- flip--
8×frac-times associate-*r/
7×fma-neg associate-*r*
6×pow1 add-log-exp
5×flip3-+ sqrt-prod flip-+
4×expm1-log1p-u cbrt-undiv associate-/r* sqrt-div div-exp insert-posit16 log1p-expm1-u associate-/l*
3×sub-neg associate-*l* prod-exp cbrt-unprod
2×clear-num frac-2neg associate-*l/ associate--l+ unswap-sqr associate-/l/
1×diff-log pow-prod-down *-commutative
Counts
4 → 183
Calls
4 calls:
Slowest
65.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
14.0ms
(* z (sqrt (+ t a)))
14.0ms
(/ (* z (sqrt (+ t a))) t)
6.0ms
(/ 2.0 (* t 3.0))

series515.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
255.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
140.0ms
(/ (* z (sqrt (+ t a))) t)
93.0ms
(* z (sqrt (+ t a)))
28.0ms
(/ 2.0 (* t 3.0))

simplify30.2s

Counts
167 → 195
Calls
167 calls:
Slowest
669.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)))))
666.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)))))))
642.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)))))))
596.0ms
(* (fma (- (cbrt (/ 2.0 (* t 3.0)))) (* (cbrt (/ 2.0 (* t 3.0))) (cbrt (/ 2.0 (* t 3.0)))) (* (cbrt (/ 2.0 (* t 3.0))) (* (cbrt (/ 2.0 (* t 3.0))) (cbrt (/ 2.0 (* t 3.0)))))) (- b c))
539.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)))))

prune4.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize49.0ms

Local error

Found 4 expressions with local error:

5.3b
(fma (* z (sqrt (+ t a))) (/ 1 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)))
0.1b
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))

rewrite202.0ms

Algorithm
rewrite-expression-head
Rules
78×*-un-lft-identity
56×prod-diff
51×add-sqr-sqrt
41×add-cube-cbrt
31×distribute-rgt-in distribute-lft-in
27×times-frac
16×distribute-lft-out
13×add-cbrt-cube associate-*r* add-exp-log
9×div-inv
8×frac-times pow1 flip3-- associate-*l* flip--
6×associate-*r/ frac-sub
5×sqrt-prod
4×expm1-log1p-u flip3-+ flip-+ insert-posit16 log1p-expm1-u add-log-exp
3×prod-exp cbrt-unprod associate-/l* distribute-lft-out-- unswap-sqr
2×cbrt-undiv sub-neg sqrt-div div-exp pow-prod-down associate-*l/ associate--l+ *-commutative difference-of-squares
1×clear-num associate-/r* frac-2neg fma-udef
Counts
4 → 165
Calls
4 calls:
Slowest
154.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
36.0ms
(* z (sqrt (+ t a)))
9.0ms
(/ 2.0 (* t 3.0))
0.0ms
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

series501.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
297.0ms
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
97.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
88.0ms
(* z (sqrt (+ t a)))
20.0ms
(/ 2.0 (* t 3.0))

simplify23.4s

Counts
140 → 177
Calls
140 calls:
Slowest
640.0ms
(* (- b c) (fma (- (/ 2.0 3.0)) (/ 1 t) (* (/ 2.0 3.0) (/ 1 t))))
556.0ms
(* (- (pow b 3) (pow c 3)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
528.0ms
(* (- (* b b) (* c c)) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
399.0ms
(* (+ b c) (* (- a (/ 5.0 6.0)) (* t 3.0)))
389.0ms
(* (+ (* 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))))))

prune4.2s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize78.0ms

Local error

Found 4 expressions with local error:

1.9b
(fma (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
0.5b
(cbrt t)
0.5b
(cbrt t)
0.5b
(cbrt t)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
7×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u add-log-exp
3×pow1/3
1×fma-udef
Counts
4 → 53
Calls
4 calls:
Slowest
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
0.0ms
(fma (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

series1.3s

Counts
4 → 12
Calls
4 calls:
Slowest
465.0ms
(fma (/ z (* (cbrt t) (cbrt t))) (/ (sqrt (+ t a)) (cbrt t)) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
298.0ms
(cbrt t)
287.0ms
(cbrt t)
253.0ms
(cbrt t)

simplify793.0ms

Counts
21 → 65
Calls
21 calls:
Slowest
146.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))
145.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
134.0ms
(* (pow (* t -1) 1/3) (cbrt -1))
132.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))
122.0ms
(* (pow (* t -1) 1/3) (cbrt -1))

prune1.6s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize87.0ms

Local error

Found 4 expressions with local error:

60.0b
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
5.3b
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))))))
0.3b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ t a)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
11×*-un-lft-identity add-cbrt-cube add-exp-log
9×add-cube-cbrt
7×associate-*r*
6×pow1
5×sqrt-prod
4×expm1-log1p-u insert-posit16 log1p-expm1-u add-log-exp
3×times-frac associate-*l* associate-/l*
2×cbrt-undiv sqrt-div div-exp prod-exp associate-*r/ cbrt-unprod unswap-sqr
1×clear-num associate-/r* frac-2neg flip3-+ pow-prod-down *-commutative flip-+ fma-udef div-inv remove-posit16 distribute-lft-out
Counts
4 → 74
Calls
4 calls:
Slowest
14.0ms
(* z (sqrt (+ t a)))
6.0ms
(/ 2.0 (* t 3.0))
0.0ms
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
0.0ms
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))))))

series412.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
267.0ms
(fma (* z (sqrt (+ t a))) (/ 1 t) (- (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))))))
86.0ms
(* z (sqrt (+ t a)))
40.0ms
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
19.0ms
(/ 2.0 (* t 3.0))

simplify1.3s

Counts
42 → 86
Calls
42 calls:
Slowest
248.0ms
(* (* (* z z) z) (* (* (sqrt (+ t a)) (sqrt (+ t a))) (sqrt (+ t a))))
206.0ms
(/ (* (* 2.0 2.0) 2.0) (* (* (* t 3.0) (* t 3.0)) (* t 3.0)))
140.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))
132.0ms
(sqrt (+ (* t t) (- (* a a) (* t a))))
121.0ms
(- (+ (* a c) (* 0.8333333333333334 c)) (* a b))

prune3.6s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes727.0ms

Accuracy

0% (1.4b remaining)

Error of 1.8b against oracle of 0.4b and baseline of 1.8b

bsearch20.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
2.8s8000×body80valid
2.1s7877×body80nan