Details

Time bar (total: 1.3m)

sample221.0ms

Algorithm
intervals
Results
93.0ms239×body80nan
82.0ms256×body80valid

simplify598.0ms

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

prune21.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 4.6b

localize61.0ms

Local error

Found 4 expressions with local error:

4.1b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
3.8b
(/ (* z (sqrt (+ t a))) t)
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
Calls
4 calls:
Slowest
33.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
22.0ms
(/ (* z (sqrt (+ t a))) t)
20.0ms
(* z (sqrt (+ t a)))
13.0ms
(/ 2.0 (* t 3.0))

series444.0ms

Calls
4 calls:
Slowest
243.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
105.0ms
(/ (* z (sqrt (+ t a))) t)
74.0ms
(* z (sqrt (+ t a)))
22.0ms
(/ 2.0 (* t 3.0))

simplify13.6s

Calls
91 calls:
Slowest
768.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)))))
688.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)))))
668.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)))))))
634.0ms
(* (- b c) (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))
583.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)))))))

prune2.5s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.7b

localize89.0ms

Local error

Found 4 expressions with local error:

4.1b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
3.8b
(/ (* z (sqrt (+ t a))) t)
0.2b
(* z (sqrt (+ t a)))
0.2b
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
20×frac-sub
19×*-un-lft-identity
17×add-cube-cbrt
13×add-cbrt-cube add-exp-log
12×times-frac
9×flip3-- flip--
8×frac-times associate-*r/
7×associate-*r*
6×pow1 associate-/r* flip3-+ flip-+ associate--r+ add-log-exp
5×sqrt-prod
4×sqrt-div insert-posit16 associate-/l*
3×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp associate-*l*
2×clear-num frac-2neg associate-*l/ prod-exp associate--l+ associate-/r/ cbrt-unprod div-inv unswap-sqr associate-/l/
1×diff-log pow-prod-down *-commutative distribute-lft-out
Calls
4 calls:
Slowest
32.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
19.0ms
(* z (sqrt (+ t a)))
13.0ms
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))))))
12.0ms
(/ (* z (sqrt (+ t a))) t)

series1.0s

Calls
4 calls:
Slowest
520.0ms
(/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))))))
301.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
118.0ms
(/ (* z (sqrt (+ t a))) t)
107.0ms
(* z (sqrt (+ t a)))

simplify22.6s

Calls
106 calls:
Slowest
859.0ms
(/ x (cbrt (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))))))
826.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))))))
649.0ms
(/ (sqrt x) (* (cbrt (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))))) (cbrt (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))))))))
626.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)))))
583.0ms
(/ (sqrt x) (sqrt (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))))))

prune2.7s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.7b

localize80.0ms

Local error

Found 4 expressions with local error:

56.1b
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))
4.1b
(- (/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
3.8b
(/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t)
1.4b
(real->posit16 (* z (sqrt (+ t a))))

rewrite51.0ms

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

series472.0ms

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

simplify10.8s

Calls
68 calls:
Slowest
1.0s
(- (* (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)))))
585.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))))))
566.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t)) (* (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))) (* t (* (- b c) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 0.6666666666666666 t) 3)))))
547.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))))))
522.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)))))

prune2.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.7b

localize118.0ms

Local error

Found 4 expressions with local error:

51.3b
(posit16->real (real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))
5.5b
(real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t)))))
4.1b
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
3.8b
(/ (* z (sqrt (+ t a))) t)

rewrite65.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
47.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
16.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)))))

series597.0ms

Calls
4 calls:
Slowest
270.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))
231.0ms
(posit16->real (real->posit16 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))))
95.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.2s

Calls
59 calls:
Slowest
927.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)))))
739.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))))))
694.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)))))
539.0ms
(- (* (* z (sqrt (+ t a))) (+ (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (+ (* (/ 0.6666666666666666 t) (/ 0.6666666666666666 t)) (* (+ a (/ 5.0 6.0)) (/ 0.6666666666666666 t))))) (* t (* (- b c) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 0.6666666666666666 t) 3)))))
508.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))))))

prune2.7s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.7b

regimes889.0ms

Accuracy

-18.3% (3.8b remaining)

Error of 4.2b against oracle of 0.4b and baseline of 3.6b

bsearch348.0ms

end0.0ms

sample5.8s

Algorithm
intervals
Results
2.8s8046×body80nan
2.3s8000×body80valid