Details

Time bar (total: 52.7s)

sample419.0ms

Algorithm
intervals
Results
238.0ms1421×body80nan
87.0ms492×body80valid

simplify172.0ms

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

prune19.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize38.0ms

Local error

Found 4 expressions with local error:

1.9b
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.2b
(* y (log z))
0.1b
(* (- t 1.0) (log a))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube associate-*r* add-exp-log
5×add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×exp-prod associate-*l* exp-sum
2×exp-diff associate-*l/ *-commutative
1×clear-num sub-neg frac-2neg flip3-- pow-prod-down prod-exp associate--l+ associate-*r/ cbrt-unprod div-inv flip-- associate-/l* rem-exp-log associate-/l/
Calls
4 calls:
Slowest
54.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
21.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
10.0ms
(* (- t 1.0) (log a))
3.0ms
(* y (log z))

series483.0ms

Calls
4 calls:
Slowest
233.0ms
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))) y)
131.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
75.0ms
(* (- t 1.0) (log a))
44.0ms
(* y (log z))

simplify4.7s

Calls
34 calls:
Slowest
477.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
354.0ms
(* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* (log a) (log a)) (log a)))
338.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
306.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
302.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))

prune1.3s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.0b

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
9×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
6×pow1 add-cbrt-cube associate-*r* add-exp-log
5×associate-/r* add-log-exp
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×exp-prod associate-*l* exp-sum
2×exp-diff associate-*l/ associate-/r/ *-commutative div-inv
1×clear-num sub-neg frac-2neg flip3-- pow-prod-down prod-exp associate--l+ cbrt-unprod flip-- rem-exp-log
Calls
4 calls:
Slowest
39.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
10.0ms
(* (- t 1.0) (log a))
6.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
3.0ms
(* y (log z))

series440.0ms

Calls
4 calls:
Slowest
184.0ms
(/ x (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
129.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
75.0ms
(* (- t 1.0) (log a))
52.0ms
(* y (log z))

simplify6.4s

Calls
39 calls:
Slowest
685.0ms
(cbrt (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
523.0ms
(- (+ (* t (log -1)) (* 1.0 (log (/ -1 a)))) (+ (* t (log (/ -1 a))) (* 1.0 (log -1))))
421.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
334.0ms
(/ 1 (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
317.0ms
(sqrt (/ y (exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

prune1.5s

Pruning

13 alts after pruning (13 fresh and 0 done)

Merged error: 0.9b

localize30.0ms

Local error

Found 4 expressions with local error:

1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
0.9b
(/ x (/ y (* (* (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))))))

rewrite187.0ms

Algorithm
rewrite-expression-head
Rules
15×exp-diff
12×cbrt-div
11×associate-/r*
9×exp-prod exp-sum
8×add-sqr-sqrt *-un-lft-identity associate-/r/ add-cube-cbrt
7×add-log-exp
5×frac-times associate-*l/
4×expm1-log1p-u pow1 add-cbrt-cube add-exp-log insert-posit16 log1p-expm1-u
3×sub-neg associate--l+ associate-*r/ rem-exp-log
2×div-inv
1×clear-num frac-2neg
Calls
4 calls:
Slowest
67.0ms
(/ x (/ y (* (* (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))))))
47.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
42.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
31.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series579.0ms

Calls
4 calls:
Slowest
176.0ms
(/ x (/ y (* (* (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))))))
168.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
124.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
110.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.5s

Calls
48 calls:
Slowest
439.0ms
(/ (* x (exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))) y)
331.0ms
(/ 1 (* (* (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)))))
309.0ms
(cbrt (/ y (* (* (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))))))
308.0ms
(/ (* x (exp (- (+ (* y (log -1)) (+ (* 1.0 (log (/ -1 a))) (* t (log -1)))) (+ b (+ (* t (log (/ -1 a))) (+ (* y (log (/ -1 z))) (* 1.0 (log -1)))))))) y)
304.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))

prune2.0s

Pruning

20 alts after pruning (20 fresh and 0 done)

Merged error: 0.8b

localize39.0ms

Local error

Found 4 expressions with local error:

1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
1.3b
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

rewrite167.0ms

Algorithm
rewrite-expression-head
Rules
12×exp-prod exp-sum
8×add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
4×expm1-log1p-u pow1 sub-neg add-cbrt-cube exp-diff associate--l+ add-exp-log insert-posit16 log1p-expm1-u rem-exp-log
Calls
4 calls:
Slowest
50.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
45.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
37.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
34.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

series515.0ms

Calls
4 calls:
Slowest
134.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
128.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
127.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))
125.0ms
(exp (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))

simplify8.0s

Calls
44 calls:
Slowest
334.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
324.0ms
(+ (* t (* (log a) (exp (- (* 1.0 (log a)))))) (+ (exp (- (* 1.0 (log a)))) (* (log z) (* (exp (- (* 1.0 (log a)))) y))))
318.0ms
(exp (- (* 1.0 (log (/ 1 a))) (+ (* (log (/ 1 z)) y) (+ b (* t (log (/ 1 a)))))))
306.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
300.0ms
(- (+ (* y (log z)) (* (- t 1.0) (log a))) b)

prune1.8s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 0.8b

regimes2.5s

Accuracy

0% (1.1b remaining)

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

bsearch24.0ms

end0.0ms

sample12.8s

Algorithm
intervals
Results
7.0s44579×body80nan
3.6s15142×body80valid