Details

Time bar (total: 11.7s)

sample52.0ms

Algorithm
intervals
Results
27.0ms332×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 7 (848.0ms)

IterNodesCost
01213
12213
24613
311013
425413
544913
688813
7354411
done500011

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (* 4.0 (- (+ x (* y 0.25)) z)) y)
0.0b
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))

rewrite74.0ms

Algorithm
rewrite-expression-head
Rules
7×add-exp-log add-cbrt-cube
6×*-un-lft-identity
4×add-sqr-sqrt add-cube-cbrt add-log-exp
3×times-frac associate-/r*
2×pow1 cbrt-undiv associate-*r/ div-exp associate-/l/
1×+-commutative flip3-- frac-2neg flip3-+ prod-exp clear-num sum-log flip-- cbrt-unprod flip-+ div-inv distribute-lft-out associate-/l*
Counts
2 → 35
Calls
2 calls:
44.0ms
(/ (* 4.0 (- (+ x (* y 0.25)) z)) y)
29.0ms
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))

series78.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(/ (* 4.0 (- (+ x (* y 0.25)) z)) y)
34.0ms
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y))

simplify1.1s

Counts
41 → 41
Iterations

Useful iterations: done (1.1s)

IterNodesCost
091711
1263667
21163601
done5000597

prune240.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite155.0ms

Algorithm
rewrite-expression-head
Rules
29×add-sqr-sqrt
26×associate-*r*
20×times-frac
19×add-cube-cbrt *-un-lft-identity
13×add-exp-log add-cbrt-cube
8×add-log-exp
7×pow1
6×associate-*l*
4×associate-*r/ prod-exp cbrt-unprod unswap-sqr
2×cbrt-undiv diff-log div-exp pow-prod-down *-commutative frac-sub div-inv
1×sub-neg flip3-- flip3-+ associate--l+ sum-log flip-- flip-+
Counts
3 → 80
Calls
3 calls:
103.0ms
(- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
22.0ms
(* 4.0 (/ x y))
26.0ms
(* 4.0 (/ z y))

series107.0ms

Counts
3 → 9
Calls
3 calls:
40.0ms
(- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y)))
34.0ms
(* 4.0 (/ x y))
32.0ms
(* 4.0 (/ z y))

simplify1.2s

Counts
89 → 89
Iterations

Useful iterations: done (1.2s)

IterNodesCost
0159985
1437926
21752852
done5000800

prune402.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize62.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* 4.0 (/ z y)) (* 4.0 (/ z y)))
1.4b
(+ (* (+ (* 4.0 (/ x y)) 2.0) (+ 2.0 (* 4.0 (+ (/ z y) (/ x y))))) (* (* 4.0 (/ z y)) (* 4.0 (/ z y))))
2.5b
(- (pow (+ (* 4.0 (/ x y)) 2.0) 3) (pow (* 4.0 (/ z y)) 3))
26.8b
(/ (- (pow (+ (* 4.0 (/ x y)) 2.0) 3) (pow (* 4.0 (/ z y)) 3)) (+ (* (+ (* 4.0 (/ x y)) 2.0) (+ 2.0 (* 4.0 (+ (/ z y) (/ x y))))) (* (* 4.0 (/ z y)) (* 4.0 (/ z y)))))

rewrite859.0ms

Algorithm
rewrite-expression-head
Rules
101×associate-*r/
72×add-sqr-sqrt
48×frac-add
43×pow1
42×add-exp-log add-cbrt-cube
41×frac-times
40×flip3-+ flip-+ difference-of-squares
39×times-frac
32×*-un-lft-identity
30×sqr-pow
29×associate-*l/
26×associate-/r/
22×add-cube-cbrt
21×prod-exp cbrt-unprod
17×pow-prod-down
13×associate-/l*
10×unpow-prod-down cube-prod
8×cube-div add-log-exp
7×cbrt-undiv div-exp
5×difference-cubes distribute-lft-out--
4×pow-sqr pow-prod-up frac-sub associate-/l/
3×associate-/r*
2×associate-+l+ flip3-- pow-plus flip--
1×+-commutative pow2 distribute-rgt-in sub-neg frac-2neg distribute-lft-in diff-log div-sub swap-sqr associate-*r* associate-*l* clear-num sum-log *-commutative div-inv
Counts
4 → 206
Calls
4 calls:
89.0ms
(* (* 4.0 (/ z y)) (* 4.0 (/ z y)))
59.0ms
(+ (* (+ (* 4.0 (/ x y)) 2.0) (+ 2.0 (* 4.0 (+ (/ z y) (/ x y))))) (* (* 4.0 (/ z y)) (* 4.0 (/ z y))))
229.0ms
(- (pow (+ (* 4.0 (/ x y)) 2.0) 3) (pow (* 4.0 (/ z y)) 3))
453.0ms
(/ (- (pow (+ (* 4.0 (/ x y)) 2.0) 3) (pow (* 4.0 (/ z y)) 3)) (+ (* (+ (* 4.0 (/ x y)) 2.0) (+ 2.0 (* 4.0 (+ (/ z y) (/ x y))))) (* (* 4.0 (/ z y)) (* 4.0 (/ z y)))))

series850.0ms

Counts
4 → 12
Calls
4 calls:
66.0ms
(* (* 4.0 (/ z y)) (* 4.0 (/ z y)))
222.0ms
(+ (* (+ (* 4.0 (/ x y)) 2.0) (+ 2.0 (* 4.0 (+ (/ z y) (/ x y))))) (* (* 4.0 (/ z y)) (* 4.0 (/ z y))))
332.0ms
(- (pow (+ (* 4.0 (/ x y)) 2.0) 3) (pow (* 4.0 (/ z y)) 3))
231.0ms
(/ (- (pow (+ (* 4.0 (/ x y)) 2.0) 3) (pow (* 4.0 (/ z y)) 3)) (+ (* (+ (* 4.0 (/ x y)) 2.0) (+ 2.0 (* 4.0 (+ (/ z y) (/ x y))))) (* (* 4.0 (/ z y)) (* 4.0 (/ z y)))))

simplify1.1s

Counts
218 → 218
Iterations

Useful iterations: done (1.1s)

IterNodesCost
041413178
1130912368
done500111940

prune1.5s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes263.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
11413
done1413

end0.0ms

sample1.2s

Algorithm
intervals
Results
716.0ms10167×body80valid