Details

Time bar (total: 1.2m)

sample168.0ms

Algorithm
intervals
Results
73.0ms256×body80valid
54.0ms258×body80nan

simplify456.0ms

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.7b

localize56.0ms

Local error

Found 4 expressions with local error:

6.5b
(/ (* z (sqrt (+ t a))) t)
2.3b
(- (/ (* 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)))

rewrite71.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
Calls
4 calls:
Slowest
29.0ms
(* z (sqrt (+ t a)))
22.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
11.0ms
(/ (* z (sqrt (+ t a))) t)
7.0ms
(/ 2.0 (* t 3.0))

series501.0ms

Calls
4 calls:
Slowest
271.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
115.0ms
(/ (* z (sqrt (+ t a))) t)
85.0ms
(* z (sqrt (+ t a)))
30.0ms
(/ 2.0 (* t 3.0))

simplify12.7s

Calls
91 calls:
Slowest
740.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)))))
595.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)))))
585.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)))))))
580.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)))))))
534.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

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize85.0ms

Local error

Found 4 expressions with local error:

6.5b
(/ (* z (sqrt (+ t a))) t)
2.3b
(- (/ (* 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)))

rewrite195.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*
Calls
4 calls:
Slowest
132.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
24.0ms
(* z (sqrt (+ t a)))
22.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
12.0ms
(/ (* z (sqrt (+ t a))) t)

series590.0ms

Calls
4 calls:
Slowest
279.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
136.0ms
(/ (* z (sqrt (+ t a))) t)
93.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))
82.0ms
(* z (sqrt (+ t a)))

simplify19.3s

Calls
122 calls:
Slowest
1.1s
(- (* (* 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)))))
674.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))))))
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)))))
563.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))))))
525.0ms
(* (- (pow b 3) (pow c 3)) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))

prune3.0s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize117.0ms

Local error

Found 4 expressions with local error:

48.0b
(posit16->real (real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))
6.5b
(/ (* z (sqrt (+ t a))) t)
6.5b
(real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))
2.3b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
20×frac-sub
9×flip3-- flip--
8×frac-times add-cbrt-cube add-exp-log
6×associate-*r/ associate--r+
5×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
4×flip3-+ flip-+
3×distribute-rgt-in pow1 associate-/r* sub-neg distribute-lft-in times-frac insert-posit16
2×cbrt-undiv sqrt-div div-exp associate-*l/ associate--l+ associate-/l/
1×clear-num frac-2neg diff-log prod-exp cbrt-unprod div-inv remove-posit16 associate-/l*
Calls
4 calls:
Slowest
28.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
14.0ms
(/ (* z (sqrt (+ t a))) t)
1.0ms
(posit16->real (real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))
0.0ms
(real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))

series651.0ms

Calls
4 calls:
Slowest
271.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
267.0ms
(posit16->real (real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))
113.0ms
(/ (* z (sqrt (+ t a))) t)
0.0ms
(real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))

simplify11.5s

Calls
59 calls:
Slowest
820.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))))))
658.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) t)) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) t) (* (- a (/ 5.0 6.0)) 0.6666666666666666)))))
657.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)))))
543.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))))))
535.0ms
(- (* (* 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)))))

prune2.7s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (* a (- c b)) (* 0.8333333333333334 c))
0.0b
(* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))
0.0b
(/ x (+ x (* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))))
0.0b
(exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c))))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt
14×*-un-lft-identity add-cube-cbrt
9×times-frac
8×add-cbrt-cube add-log-exp
7×add-exp-log
6×pow1
5×associate-*r*
4×distribute-rgt-in associate-+l+ distribute-lft-in exp-sum insert-posit16
3×associate-/r* associate-*l* associate-/l*
2×sub-neg flip3-+ associate-/r/ flip-+
1×cbrt-undiv +-commutative exp-prod clear-num sum-log frac-2neg exp-to-pow div-exp pow-prod-down prod-exp *-commutative cbrt-unprod div-inv unswap-sqr rem-exp-log
Calls
4 calls:
Slowest
33.0ms
(* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))
22.0ms
(+ (* a (- c b)) (* 0.8333333333333334 c))
15.0ms
(exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c))))
6.0ms
(/ x (+ x (* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))))

series323.0ms

Calls
4 calls:
Slowest
167.0ms
(/ x (+ x (* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))))
69.0ms
(* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))
45.0ms
(exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c))))
40.0ms
(+ (* a (- c b)) (* 0.8333333333333334 c))

simplify10.7s

Calls
61 calls:
Slowest
504.0ms
(* (* (* y y) y) (* (* (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))) (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c))))) (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c))))))
445.0ms
(cbrt (+ x (* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))))
420.0ms
(/ x (sqrt (+ x (* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c))))))))
415.0ms
(/ x (+ x (* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c)))))))
406.0ms
(/ x (cbrt (+ x (* y (exp (* 2.0 (+ (* a (- c b)) (* 0.8333333333333334 c))))))))

prune1.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes600.0ms

Accuracy

0% (3.0b remaining)

Error of 3.6b against oracle of 0.6b and baseline of 3.6b

bsearch7.0ms

end0.0ms

sample6.2s

Algorithm
intervals
Results
2.8s8000×body80valid
2.8s8184×body80nan