Details

Time bar (total: 9.2s)

sample61.0ms

Algorithm
intervals
Results
22.0ms256×pre80true
17.0ms256×body80valid

simplify77.0ms

Counts
1 → 1
Iterations
IterNodes
692
592
491
371
240
118
07

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (+ b c) d)
0.0b
(* a (+ (+ b c) d))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
17×*-un-lft-identity
7×add-sqr-sqrt distribute-lft-out add-log-exp
5×associate-*r* add-cube-cbrt
4×pow1 fma-def add-cbrt-cube add-exp-log
3×sum-log associate-*l*
2×expm1-log1p-u flip3-+ associate-*r/ flip-+ insert-posit16 log1p-expm1-u
1×distribute-rgt-in +-commutative associate-+l+ distribute-lft-in pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 49
Calls
2 calls:
41.0ms
(+ (+ b c) d)
85.0ms
(* a (+ (+ b c) d))

series62.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(+ (+ b c) d)
43.0ms
(* a (+ (+ b c) d))

simplify1.5s

Counts
55 → 55
Iterations
IterNodes
34070
2716
1188
072

prune225.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize24.0ms

Local error

Found 2 expressions with local error:

0.0b
(* a (+ b c))
0.0b
(+ (* a (+ b c)) (* a d))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-cbrt-cube associate-*r* add-exp-log add-cube-cbrt add-log-exp
3×associate-*l*
2×distribute-rgt-in expm1-log1p-u associate-+l+ distribute-lft-in flip3-+ associate-*r/ flip-+ insert-posit16 log1p-expm1-u distribute-lft-out
1×+-commutative sum-log fma-def pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
2 → 44
Calls
2 calls:
14.0ms
(* a (+ b c))
23.0ms
(+ (* a (+ b c)) (* a d))

series102.0ms

Counts
2 → 6
Calls
2 calls:
50.0ms
(* a (+ b c))
52.0ms
(+ (* a (+ b c)) (* a d))

simplify1.4s

Counts
50 → 50
Iterations
IterNodes
33822
2840
1234
078

prune261.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize66.0ms

Local error

Found 4 expressions with local error:

0.1b
(fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c)))
0.2b
(* (* (+ b c) (+ b c)) (+ b c))
0.5b
(* a (fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c))))
16.7b
(/ (* a (fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c)))) (+ (* (+ b c) (+ b c)) (- (* d d) (* (+ b c) d))))

rewrite186.0ms

Algorithm
rewrite-expression-head
Rules
40×flip3-+ flip-+
36×frac-times
25×pow1
18×associate-*l/ associate-/r/
16×add-cbrt-cube frac-add add-exp-log
12×add-sqr-sqrt associate-*r/
11×*-un-lft-identity
9×add-cube-cbrt
8×flip3-- flip--
7×associate-*r*
6×pow-plus pow-prod-up
5×prod-exp cbrt-unprod
4×expm1-log1p-u associate-*l* pow-prod-down insert-posit16 log1p-expm1-u add-log-exp
3×associate-/r* times-frac fma-udef
2×pow2 distribute-rgt-in cbrt-undiv distribute-lft-in div-exp pow-sqr *-commutative unswap-sqr
1×clear-num frac-2neg pow3 div-inv distribute-lft-out associate-/l*
Counts
4 → 136
Calls
4 calls:
0.0ms
(fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c)))
77.0ms
(* (* (+ b c) (+ b c)) (+ b c))
12.0ms
(* a (fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c))))
94.0ms
(/ (* a (fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c)))) (+ (* (+ b c) (+ b c)) (- (* d d) (* (+ b c) d))))

series740.0ms

Counts
4 → 12
Calls
4 calls:
143.0ms
(fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c)))
32.0ms
(* (* (+ b c) (+ b c)) (+ b c))
291.0ms
(* a (fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c))))
274.0ms
(/ (* a (fma (* d d) d (* (* (+ b c) (+ b c)) (+ b c)))) (+ (* (+ b c) (+ b c)) (- (* d d) (* (+ b c) d))))

simplify1.9s

Counts
148 → 148
Iterations
IterNodes
24646
11012
0282

prune832.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes293.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
212
112
08

end0.0ms

sample1.2s

Algorithm
intervals
Results
563.0ms8000×pre80true
464.0ms8000×body80valid