Details

Time bar (total: 1.1m)

sample183.0ms

Algorithm
intervals
Results
81.0ms256×body80valid
62.0ms283×body80nan

simplify387.0ms

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

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.5b

localize77.0ms

Local error

Found 4 expressions with local error:

6.6b
(/ (* 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.2b
(/ 2.0 (* t 3.0))
0.2b
(* z (sqrt (+ t a)))

rewrite41.0ms

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

series259.0ms

Calls
4 calls:
Slowest
157.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
54.0ms
(/ (* z (sqrt (+ t a))) t)
39.0ms
(* z (sqrt (+ t a)))
8.0ms
(/ 2.0 (* t 3.0))

simplify12.1s

Calls
57 calls:
Slowest
728.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 3.0)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ (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)))))
669.0ms
(- (* (* z (sqrt (+ t a))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
627.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)))))
608.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)))))
586.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.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.0ms

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

series290.0ms

Calls
4 calls:
Slowest
160.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
70.0ms
(/ z (/ t (sqrt (+ t a))))
51.0ms
(/ t (sqrt (+ t a)))
8.0ms
(/ 2.0 (* t 3.0))

simplify13.7s

Calls
62 calls:
Slowest
805.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- (pow b 3) (pow c 3)) (- (* (+ (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)))))
800.0ms
(* (/ t (sqrt (+ t a))) (* (+ (* 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)))))))
748.0ms
(/ (exp (/ z (/ t (sqrt (+ t a))))) (exp (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
670.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* (/ t (sqrt (+ t a))) (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
658.0ms
(- (* z (+ (* (+ 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 (sqrt (+ t a))) (* (- b c) (- (pow (+ a (/ 5.0 6.0)) 3) (pow (/ 2.0 (* t 3.0)) 3)))))

prune2.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize55.0ms

Local error

Found 4 expressions with local error:

54.3b
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))
6.6b
(/ (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)) (/ 2.0 (* t 3.0)))))
2.1b
(real->posit16 (* z (sqrt (+ t a))))

rewrite22.0ms

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

series260.0ms

Calls
4 calls:
Slowest
168.0ms
(- (/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
54.0ms
(/ (posit16->real (real->posit16 (* z (sqrt (+ t a))))) t)
37.0ms
(posit16->real (real->posit16 (* z (sqrt (+ t a)))))
0.0ms
(real->posit16 (* z (sqrt (+ t a))))

simplify12.0s

Calls
46 calls:
Slowest
768.0ms
(- (* (posit16->real (real->posit16 (* z (sqrt (+ t a))))) (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
693.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 3.0)))) (* t (* (- (pow b 3) (pow c 3)) (- (* (+ (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)))))
621.0ms
(- (* (posit16->real (real->posit16 (* 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)))))
618.0ms
(* (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))) (- b c))
597.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 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.0s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.0b

localize76.0ms

Local error

Found 4 expressions with local error:

47.6b
(posit16->real (real->posit16 (- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
6.8b
(real->posit16 (- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
2.5b
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
0.5b
(/ z (/ t (sqrt (+ t a))))

rewrite14.0ms

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

series408.0ms

Calls
4 calls:
Slowest
185.0ms
(- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
173.0ms
(posit16->real (real->posit16 (- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))))
50.0ms
(/ z (/ t (sqrt (+ t a))))
0.0ms
(real->posit16 (- (/ z (/ t (sqrt (+ t a)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))

simplify13.0s

Calls
52 calls:
Slowest
899.0ms
(* (/ t (sqrt (+ t a))) (* (+ (* 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)))))))
745.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (* (+ (* a a) (- (* (/ 5.0 6.0) (/ 5.0 6.0)) (* a (/ 5.0 6.0)))) (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- (pow b 3) (pow c 3)) (- (* (+ (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)))))
703.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* (/ t (sqrt (+ t a))) (* (- (pow b 3) (pow c 3)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
588.0ms
(- (* z (* (+ b c) (+ (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))) (* (/ t (sqrt (+ t a))) (* (- (* b b) (* c c)) (- (* (+ a (/ 5.0 6.0)) (+ a (/ 5.0 6.0))) (* (/ 2.0 (* t 3.0)) (/ 2.0 (* t 3.0)))))))
519.0ms
(- (* z (* (+ (* b b) (+ (* c c) (* b c))) (* (- a (/ 5.0 6.0)) (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- (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)))))

prune2.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0.0b

regimes802.0ms

Accuracy

0% (2.1b remaining)

Error of 2.9b against oracle of 0.8b and baseline of 2.9b

bsearch16.0ms

end0.0ms

sample6.1s

Algorithm
intervals
Results
3.1s8000×body80valid
2.2s8332×body80nan