Details

Time bar (total: 32.5s)

sample36.0ms

Algorithm
intervals
Results
13.0ms256×pre80true
10.0ms256×body80valid

simplify282.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
282.0ms
(+ (+ (+ (+ e d) c) b) a)

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.4b

localize25.0ms

Local error

Found 3 expressions with local error:

0.3b
(+ (+ (+ e d) c) b)
0.2b
(+ (+ e d) c)
0.2b
(+ (+ (+ (+ e d) c) b) a)

rewrite693.0ms

Algorithm
rewrite-expression-head
Rules
50×*-un-lft-identity
31×add-log-exp
29×distribute-lft-out
19×sum-log
15×fma-def
6×add-sqr-sqrt add-cube-cbrt
3×expm1-log1p-u pow1 +-commutative associate-+l+ flip3-+ add-cbrt-cube add-exp-log flip-+ insert-posit16 log1p-expm1-u
Counts
3 → 75
Calls
3 calls:
Slowest
521.0ms
(+ (+ (+ (+ e d) c) b) a)
132.0ms
(+ (+ (+ e d) c) b)
38.0ms
(+ (+ e d) c)

series117.0ms

Counts
3 → 9
Calls
3 calls:
Slowest
57.0ms
(+ (+ (+ (+ e d) c) b) a)
37.0ms
(+ (+ (+ e d) c) b)
22.0ms
(+ (+ e d) c)

simplify2.9s

Counts
35 → 84
Calls
35 calls:
Slowest
320.0ms
(+ (+ (+ (+ e d) c) b) a)
258.0ms
(+ (+ (+ (+ e d) c) b) a)
255.0ms
(* (* (* (* (exp e) (exp d)) (exp c)) (exp b)) (exp a))
246.0ms
(+ (+ (+ (+ e d) c) b) a)
228.0ms
(+ (+ (+ (+ e d) c) b) a)

prune821.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize39.0ms

Local error

Found 4 expressions with local error:

3.2b
(exp (+ (+ b d) (+ e c)))
0.2b
(+ (+ b d) (+ e c))
0.2b
(+ (log (exp (+ (+ b d) (+ e c)))) a)
0.0b
(log (exp (+ (+ b d) (+ e c))))

rewrite922.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
35×distribute-lft-out
30×add-log-exp
21×exp-prod
17×sum-log log-pow
15×fma-def
11×add-sqr-sqrt add-cube-cbrt
8×log-prod
7×pow1
6×flip3-+ flip-+
5×associate-+l+ rem-exp-log
4×expm1-log1p-u add-cbrt-cube frac-add add-exp-log insert-posit16 log1p-expm1-u
3×exp-sum
2×+-commutative
1×associate-+r+ rem-log-exp
Counts
4 → 108
Calls
4 calls:
Slowest
691.0ms
(+ (log (exp (+ (+ b d) (+ e c)))) a)
93.0ms
(exp (+ (+ b d) (+ e c)))
91.0ms
(log (exp (+ (+ b d) (+ e c))))
46.0ms
(+ (+ b d) (+ e c))

series233.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
89.0ms
(+ (log (exp (+ (+ b d) (+ e c)))) a)
53.0ms
(+ (+ b d) (+ e c))
52.0ms
(exp (+ (+ b d) (+ e c)))
39.0ms
(log (exp (+ (+ b d) (+ e c))))

simplify5.8s

Counts
71 → 120
Calls
71 calls:
Slowest
424.0ms
(cbrt (+ (+ b d) (+ e c)))
352.0ms
(* (- b d) (+ (* e e) (- (* c c) (* e c))))
326.0ms
(+ (* (+ (pow b 3) (pow d 3)) (+ (* e e) (- (* c c) (* e c)))) (* (+ (* b b) (- (* d d) (* b d))) (+ (pow e 3) (pow c 3))))
280.0ms
(+ (* (- (* b b) (* d d)) (+ (* e e) (- (* c c) (* e c)))) (* (- b d) (+ (pow e 3) (pow c 3))))
279.0ms
(+ (log (exp (+ (+ b d) (+ e c)))) a)

prune1.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

3.3b
(exp (+ (+ e c) (+ a (+ d b))))
0.3b
(+ a (+ d b))
0.2b
(+ (+ e c) (+ a (+ d b)))
0.0b
(log (exp (+ (+ e c) (+ a (+ d b)))))

rewrite488.0ms

Algorithm
rewrite-expression-head
Rules
79×*-un-lft-identity
52×add-log-exp
49×distribute-lft-out
33×sum-log
18×exp-prod
10×log-pow
9×add-sqr-sqrt add-cube-cbrt
7×fma-def rem-exp-log
6×flip3-+ flip-+
5×pow1
4×expm1-log1p-u log-prod add-cbrt-cube frac-add add-exp-log insert-posit16 log1p-expm1-u
2×+-commutative associate-+r+ exp-sum
1×associate-+l+ rem-log-exp
Counts
4 → 108
Calls
4 calls:
Slowest
208.0ms
(exp (+ (+ e c) (+ a (+ d b))))
200.0ms
(log (exp (+ (+ e c) (+ a (+ d b)))))
56.0ms
(+ (+ e c) (+ a (+ d b)))
22.0ms
(+ a (+ d b))

series221.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
80.0ms
(+ (+ e c) (+ a (+ d b)))
68.0ms
(log (exp (+ (+ e c) (+ a (+ d b)))))
56.0ms
(exp (+ (+ e c) (+ a (+ d b))))
16.0ms
(+ a (+ d b))

simplify9.1s

Counts
72 → 120
Calls
72 calls:
Slowest
491.0ms
(+ (* (+ (pow e 3) (pow c 3)) (+ (* a a) (- (* (+ d b) (+ d b)) (* a (+ d b))))) (* (+ (* e e) (- (* c c) (* e c))) (+ (pow a 3) (pow (+ d b) 3))))
454.0ms
(+ (* (- (* e e) (* c c)) (+ (* a a) (- (* (+ d b) (+ d b)) (* a (+ d b))))) (* (- e c) (+ (pow a 3) (pow (+ d b) 3))))
358.0ms
(exp (* (cbrt (+ (+ e c) (+ a (+ d b)))) (cbrt (+ (+ e c) (+ a (+ d b))))))
297.0ms
(+ (+ e c) (+ a (+ d b)))
287.0ms
(+ (+ e c) (+ a (+ d b)))

prune1.4s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize37.0ms

Local error

Found 4 expressions with local error:

2.6b
(exp (+ e c))
0.4b
(* (exp d) (exp b))
0.3b
(* (exp a) (* (exp d) (exp b)))
0.3b
(* (exp (+ e c)) (* (exp a) (* (exp d) (exp b))))

rewrite278.0ms

Algorithm
rewrite-expression-head
Rules
25×*-un-lft-identity
20×pow1 add-cbrt-cube
17×exp-prod
11×add-sqr-sqrt
10×associate-*l* pow-prod-down prod-exp cbrt-unprod
9×pow-prod-up add-cube-cbrt
7×add-exp-log add-log-exp
5×associate-*r*
4×expm1-log1p-u insert-posit16 log1p-expm1-u
3×*-commutative
2×exp-sum distribute-lft-out rem-exp-log
1×sum-log unswap-sqr
Counts
4 → 88
Calls
4 calls:
Slowest
199.0ms
(* (exp (+ e c)) (* (exp a) (* (exp d) (exp b))))
42.0ms
(* (exp a) (* (exp d) (exp b)))
19.0ms
(* (exp d) (exp b))
17.0ms
(exp (+ e c))

series196.0ms

Counts
4 → 12
Calls
4 calls:
Slowest
103.0ms
(* (exp (+ e c)) (* (exp a) (* (exp d) (exp b))))
51.0ms
(* (exp a) (* (exp d) (exp b)))
30.0ms
(* (exp d) (exp b))
12.0ms
(exp (+ e c))

simplify4.3s

Counts
59 → 100
Calls
59 calls:
Slowest
416.0ms
(* (* (* (exp (+ e c)) (exp (+ e c))) (exp (+ e c))) (* (* (* (exp a) (exp a)) (exp a)) (* (* (* (exp d) (exp b)) (* (exp d) (exp b))) (* (exp d) (exp b)))))
335.0ms
(* (* (* (exp (+ e c)) (exp (+ e c))) (exp (+ e c))) (* (* (* (exp a) (* (exp d) (exp b))) (* (exp a) (* (exp d) (exp b)))) (* (exp a) (* (exp d) (exp b)))))
323.0ms
(* (* (* (exp d) (exp d)) (exp d)) (* (* (exp b) (exp b)) (exp b)))
316.0ms
(* (* (* (exp (+ e c)) (exp (+ e c))) (exp (+ e c))) (* (* (* (exp a) (exp a)) (exp a)) (* (* (* (exp d) (exp d)) (exp d)) (* (* (exp b) (exp b)) (exp b)))))
263.0ms
(+ (+ e c) (+ a (log (* (exp d) (exp b)))))

prune1.4s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

regimes255.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch6.0ms

end0.0ms

sample1.4s

Algorithm
intervals
Results
625.0ms8000×pre80true
479.0ms8000×body80valid