Details

Time bar (total: 2.1m)

sample480.0ms

Algorithm
intervals
Results
262.0ms1515×body80nan
119.0ms508×body80valid

simplify577.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
577.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.3b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite318.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×log-prod add-exp-log
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×insert-posit16
3×associate-/r* times-frac exp-sum prod-exp cbrt-unprod rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×clear-num sum-log sub-neg frac-2neg flip3-- associate--l+ associate-*r/ div-inv flip-- associate-/l* associate-/l/
Counts
4 → 99
Calls
4 calls:
Slowest
206.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
73.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
24.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))

series528.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
219.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
165.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
84.0ms
(* (- t 1.0) (log a))
59.0ms
(* y (log z))

simplify16.1s

Counts
128 → 111
Calls
128 calls:
Slowest
664.0ms
(* (* (* (- t 1.0) (log a)) (* (- t 1.0) (log a))) (* (- t 1.0) (log a)))
640.0ms
(* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
523.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
475.0ms
(* (- (pow t 3) (pow 1.0 3)) (log a))
445.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))

prune1.7s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.7b

localize53.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.3b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite282.0ms

Algorithm
rewrite-expression-head
Rules
23×add-sqr-sqrt
19×*-un-lft-identity
15×add-cube-cbrt
13×add-cbrt-cube
12×log-prod add-exp-log
10×pow1 add-log-exp
8×associate-*r* associate-*l*
6×distribute-rgt-in distribute-lft-in
5×exp-prod
4×insert-posit16
3×times-frac exp-sum prod-exp cbrt-unprod associate-/l* rem-exp-log
2×cbrt-undiv exp-diff diff-log div-exp pow-prod-down associate-*l/ log-pow *-commutative distribute-lft-out-- difference-of-squares unswap-sqr
1×clear-num associate-/r* sum-log sub-neg frac-2neg flip3-- associate--l+ associate-*r/ associate-/r/ div-inv flip--
Counts
4 → 99
Calls
4 calls:
Slowest
152.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
85.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
30.0ms
(* (- t 1.0) (log a))
13.0ms
(* y (log z))

series519.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
236.0ms
(/ y (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
162.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
72.0ms
(* (- t 1.0) (log a))
48.0ms
(* y (log z))

simplify16.4s

Counts
128 → 111
Calls
128 calls:
Slowest
686.0ms
(* (* (* (- t 1.0) (log a)) (* (- t 1.0) (log a))) (* (- t 1.0) (log a)))
670.0ms
(* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
632.0ms
(real->posit16 (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
541.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
432.0ms
(/ (* (* y y) y) (* (* (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))

prune2.0s

Pruning

14 alts after pruning (14 fresh and 0 done)

Merged error: 0.7b

localize96.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ y (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite1.0s

Algorithm
rewrite-expression-head
Rules
22×add-log-exp
18×add-exp-log
15×add-sqr-sqrt exp-prod *-un-lft-identity exp-diff
14×add-cbrt-cube
12×cbrt-div
10×associate-*r/
9×exp-sum add-cube-cbrt rem-exp-log
7×associate-/r/
6×diff-log prod-exp cbrt-unprod
5×frac-times associate-*l/
4×pow1 cbrt-undiv div-exp insert-posit16
3×sum-log sub-neg times-frac associate--l+ associate-/l* distribute-lft-out-- difference-of-squares
1×clear-num associate-/r* frac-2neg div-inv
Counts
4 → 93
Calls
4 calls:
Slowest
791.0ms
(/ y (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
78.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
77.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
75.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series805.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
272.0ms
(/ y (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
204.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
173.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
156.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify26.8s

Counts
112 → 105
Calls
112 calls:
Slowest
674.0ms
(/ (* (* y y) y) (* (* (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))) (* x (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))))
627.0ms
(* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
607.0ms
(* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
577.0ms
(/ (* (* y y) y) (* (* (* x x) x) (* (* (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))))
569.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))

prune2.3s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 0.6b

localize93.0ms

Local error

Found 4 expressions with local error:

0.9b
(/ y (* x (* (* (cbrt (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.8b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite1.4s

Algorithm
rewrite-expression-head
Rules
108×cbrt-div
83×exp-diff
49×frac-times associate-*l/
46×associate-*r/
31×associate-/r/
22×add-log-exp
18×add-exp-log
15×add-sqr-sqrt exp-prod *-un-lft-identity
14×add-cbrt-cube
9×exp-sum add-cube-cbrt rem-exp-log
6×diff-log prod-exp cbrt-unprod
4×pow1 cbrt-undiv div-exp insert-posit16
3×sum-log sub-neg times-frac associate--l+ associate-/l* distribute-lft-out-- difference-of-squares
1×clear-num associate-/r* frac-2neg div-inv
Counts
4 → 117
Calls
4 calls:
Slowest
1.1s
(/ y (* x (* (* (cbrt (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
89.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
67.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
66.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series764.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
254.0ms
(/ y (* x (* (* (cbrt (* (* (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))))
186.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
163.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
161.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify32.8s

Counts
136 → 129
Calls
136 calls:
Slowest
699.0ms
(* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
693.0ms
(cbrt (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
662.0ms
(* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
611.0ms
(* (* (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
582.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))

prune3.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 0.6b

regimes2.2s

Accuracy

0% (1.2b remaining)

Error of 2.0b against oracle of 0.7b and baseline of 2.0b

bsearch20.0ms

end0.0ms

sample16.9s

Algorithm
intervals
Results
9.7s44579×body80nan
3.2s14982×body80valid