Details

Time bar (total: 54.0s)

sample216.0ms

Algorithm
intervals
Results
78.0ms288×body80nan
69.0ms256×body80valid

simplify473.0ms

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

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 5.4b

localize76.0ms

Local error

Found 4 expressions with local error:

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

rewrite94.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
31.0ms
(/ (* z (sqrt (+ t a))) t)
27.0ms
(* z (sqrt (+ t a)))
26.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
8.0ms
(/ 2.0 (* t 3.0))

series492.0ms

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

simplify12.7s

Counts
91 → 117
Calls
91 calls:
Slowest
672.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)))))
647.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)))))))
646.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)))))
602.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)))))))
519.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.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
51×*-un-lft-identity
47×times-frac
45×add-sqr-sqrt
37×add-cube-cbrt
29×sqrt-prod
25×associate-*r*
20×frac-sub
19×associate-*r/
16×add-cbrt-cube add-exp-log
10×associate-/l*
9×flip3-- flip--
8×frac-times
7×distribute-lft-out
6×pow1 associate--r+ add-log-exp
4×cbrt-undiv associate-/r* flip3-+ div-exp flip-+ insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in associate-*l* prod-exp cbrt-unprod div-inv unswap-sqr
2×clear-num frac-2neg sqrt-div associate-*l/ associate--l+ associate-/l/
1×diff-log pow-prod-down *-commutative
Counts
4 → 147
Calls
4 calls:
Slowest
39.0ms
(- (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
35.0ms
(* z (/ (sqrt (+ t a)) t))
21.0ms
(/ (sqrt (+ t a)) t)
12.0ms
(/ 2.0 (* t 3.0))

series571.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
335.0ms
(- (* z (/ (sqrt (+ t a)) t)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
137.0ms
(* z (/ (sqrt (+ t a)) t))
73.0ms
(/ (sqrt (+ t a)) t)
27.0ms
(/ 2.0 (* t 3.0))

simplify13.7s

Counts
151 → 159
Calls
151 calls:
Slowest
720.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)))))
685.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)))))
606.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)))))))
556.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)))))))
530.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)))))

prune3.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize87.0ms

Local error

Found 4 expressions with local error:

57.7b
(posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))
3.7b
(- (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
1.4b
(* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))
0.3b
(/ 2.0 (* t 3.0))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt
8×*-un-lft-identity add-cube-cbrt
6×pow1 associate--r+ add-log-exp
4×insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in times-frac associate-*r* associate-*l* associate-/l*
2×cbrt-undiv div-exp prod-exp associate--l+ cbrt-unprod
1×clear-num associate-/r* frac-2neg flip3-- diff-log pow-prod-down *-commutative div-inv remove-posit16 flip-- unswap-sqr
Counts
4 → 69
Calls
4 calls:
Slowest
16.0ms
(- (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
10.0ms
(* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))
6.0ms
(/ 2.0 (* t 3.0))
1.0ms
(posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))

series509.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
254.0ms
(- (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
137.0ms
(* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))
91.0ms
(posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))
27.0ms
(/ 2.0 (* t 3.0))

simplify3.0s

Counts
42 → 81
Calls
42 calls:
Slowest
465.0ms
(/ (exp (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))) (exp (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))
290.0ms
(* (- b c) (- (/ 2.0 (* t 3.0))))
290.0ms
(* (- (/ 2.0 (* t 3.0))) (- b c))
283.0ms
(* (- (/ 2.0 (* t 3.0))) (- b c))
252.0ms
(* (- b c) (- (/ 5.0 6.0) (/ 2.0 (* t 3.0))))

prune2.8s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize115.0ms

Local error

Found 4 expressions with local error:

59.9b
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
57.7b
(posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))
3.7b
(- (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (/ 2.0 (* t 3.0)))))))
1.4b
(* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt
6×pow1 *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt associate--r+ add-log-exp
4×insert-posit16
3×distribute-rgt-in sub-neg distribute-lft-in associate-*r* associate-*l*
2×associate--l+ remove-posit16
1×flip3-- diff-log pow-prod-down prod-exp *-commutative cbrt-unprod flip-- unswap-sqr
Counts
4 → 56
Calls
4 calls:
Slowest
21.0ms
(- (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (/ 2.0 (* t 3.0)))))))
5.0ms
(* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))
1.0ms
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))
0.0ms
(posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))

series444.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
247.0ms
(- (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))) (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (/ 2.0 (* t 3.0)))))))
95.0ms
(* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))
84.0ms
(posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))
19.0ms
(posit16->real (real->posit16 (/ 2.0 (* t 3.0))))

simplify2.6s

Counts
30 → 68
Calls
30 calls:
Slowest
578.0ms
(* (* (* z z) z) (* (* (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))) (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))) (posit16->real (real->posit16 (/ (sqrt (+ t a)) t)))))
463.0ms
(/ (exp (* z (posit16->real (real->posit16 (/ (sqrt (+ t a)) t))))) (exp (* (- b c) (- (+ a (/ 5.0 6.0)) (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))))))
267.0ms
(* (- b c) (- (/ 5.0 6.0) (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))))
248.0ms
(* (- (/ 5.0 6.0) (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))) (- b c))
234.0ms
(* (- b c) (- (posit16->real (real->posit16 (/ 2.0 (* t 3.0))))))

prune3.0s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes1.0s

Accuracy

0% (2.7b remaining)

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

bsearch8.0ms

end0.0ms

sample5.7s

Algorithm
intervals
Results
2.7s7908×body80nan
2.4s8000×body80valid