Details

Time bar (total: 5.9s)

sample27.0ms

Algorithm
intervals
Results
18.0ms300×body80valid

simplify9.0ms

Counts
1 → 1
Iterations
IterNodes
done20
320
219
113
08

prune3.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (/ x 2.0) (* y x))
0.0b
(+ (+ (/ x 2.0) (* y x)) z)

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
9×add-log-exp
4×sum-log *-un-lft-identity
2×add-sqr-sqrt pow1 +-commutative flip3-+ add-cbrt-cube add-exp-log add-cube-cbrt flip-+ insert-posit16
1×associate-+l+ distribute-lft-out
Counts
2 → 27
Calls
2 calls:
20.0ms
(+ (/ x 2.0) (* y x))
43.0ms
(+ (+ (/ x 2.0) (* y x)) z)

series112.0ms

Counts
2 → 6
Calls
2 calls:
56.0ms
(+ (/ x 2.0) (* y x))
55.0ms
(+ (+ (/ x 2.0) (* y x)) z)

simplify1.0s

Counts
33 → 33
Iterations
IterNodes
done2003
31850
2539
1165
057

prune138.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b
(+ (/ x 2.0) (+ (* y x) z))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
6×add-log-exp
3×sum-log *-un-lft-identity
2×flip3-+ frac-add flip-+
1×add-sqr-sqrt pow1 +-commutative associate-+r+ add-cbrt-cube add-exp-log add-cube-cbrt insert-posit16 distribute-lft-out
Counts
1 → 17
Calls
1 calls:
38.0ms
(+ (/ x 2.0) (+ (* y x) z))

series55.0ms

Counts
1 → 3
Calls
1 calls:
55.0ms
(+ (/ x 2.0) (+ (* y x) z))

simplify506.0ms

Counts
20 → 20
Iterations
IterNodes
done2001
2767
1195
058

prune90.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 4 expressions with local error:

2.0b
(+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z))
5.6b
(* x (+ (* (- z (* y x)) z) (* (* y x) (* y x))))
9.2b
(+ (* (+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z)) 2.0) (* x (+ (* (- z (* y x)) z) (* (* y x) (* y x)))))
42.0b
(/ (+ (* (+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z)) 2.0) (* x (+ (* (- z (* y x)) z) (* (* y x) (* y x))))) (* (+ (* (- z (* y x)) z) (* (* y x) (* y x))) 2.0))

rewrite739.0ms

Algorithm
rewrite-expression-head
Rules
13×flip3-+ flip-+
11×add-cbrt-cube add-exp-log
10×add-sqr-sqrt associate-*l/ associate-*r/
8×*-un-lft-identity frac-add add-cube-cbrt add-log-exp
6×pow1 associate-/l/
4×insert-posit16
3×times-frac associate-*r* associate-*l* associate-/l*
2×distribute-rgt-in cbrt-undiv +-commutative associate-+r+ sum-log distribute-lft-in div-exp prod-exp associate-/r/ cbrt-unprod
1×clear-num associate-/r* frac-2neg cube-unmult pow3 pow-prod-down sum-cubes *-commutative div-inv unswap-sqr
Counts
4 → 84
Calls
4 calls:
114.0ms
(+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z))
87.0ms
(* x (+ (* (- z (* y x)) z) (* (* y x) (* y x))))
163.0ms
(+ (* (+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z)) 2.0) (* x (+ (* (- z (* y x)) z) (* (* y x) (* y x)))))
374.0ms
(/ (+ (* (+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z)) 2.0) (* x (+ (* (- z (* y x)) z) (* (* y x) (* y x))))) (* (+ (* (- z (* y x)) z) (* (* y x) (* y x))) 2.0))

series748.0ms

Counts
4 → 12
Calls
4 calls:
179.0ms
(+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z))
97.0ms
(* x (+ (* (- z (* y x)) z) (* (* y x) (* y x))))
301.0ms
(+ (* (+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z)) 2.0) (* x (+ (* (- z (* y x)) z) (* (* y x) (* y x)))))
170.0ms
(/ (+ (* (+ (* (* y x) (* (* y x) (* y x))) (* (* z z) z)) 2.0) (* x (+ (* (- z (* y x)) z) (* (* y x) (* y x))))) (* (+ (* (- z (* y x)) z) (* (* y x) (* y x))) 2.0))

simplify702.0ms

Counts
96 → 96
Iterations
IterNodes
done2001
1654
0200

prune541.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes85.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
done11
111
08

end0.0ms

sample964.0ms

Algorithm
intervals
Results
703.0ms9136×body80valid