Details

Time bar (total: 16.8s)

sample44.0ms

Algorithm
intervals
Results
18.0ms332×body80valid

simplify2.5s

Counts
1 → 1
Iterations

Useful iterations: 7 (950.0ms)

IterNodesCost
01213
12213
24613
311013
425413
544913
688813
7354411
done500011

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 3 expressions with local error:

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

rewrite179.0ms

Algorithm
rewrite-expression-head
Rules
23×*-un-lft-identity
21×add-sqr-sqrt
15×times-frac
13×add-cube-cbrt
7×add-log-exp
5×add-exp-log add-cbrt-cube associate-/l*
4×distribute-lft-out-- difference-of-squares
3×pow1 associate-/r*
2×+-commutative associate-+l+ flip3-+ div-sub sum-log flip-+ associate-/l/
1×cbrt-undiv distribute-rgt-in associate-+l- flip3-- frac-2neg distribute-lft-in div-exp clear-num flip-- div-inv distribute-lft-out
Counts
3 → 64
Calls
3 calls:
65.0ms
(+ (* 4.0 (+ (/ (- x z) y) 0.75)) 1.0)
75.0ms
(+ (/ (- x z) y) 0.75)
32.0ms
(/ (- x z) y)

series116.0ms

Counts
3 → 9
Calls
3 calls:
47.0ms
(+ (* 4.0 (+ (/ (- x z) y) 0.75)) 1.0)
20.0ms
(+ (/ (- x z) y) 0.75)
50.0ms
(/ (- x z) y)

simplify1.1s

Counts
73 → 73
Iterations

Useful iterations: done (1.1s)

IterNodesCost
0129854
1333817
21175771
done5001741

prune266.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize18.0ms

Local error

Found 3 expressions with local error:

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

rewrite396.0ms

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity
17×add-sqr-sqrt
12×add-log-exp
10×times-frac
5×add-cube-cbrt distribute-lft-out--
4×associate-+l+ difference-of-squares
3×pow1 add-exp-log sum-log add-cbrt-cube
2×+-commutative sub-neg flip3-+ diff-log flip-+ div-inv distribute-lft-out
1×distribute-rgt-in associate-+l- flip3-- distribute-rgt-out-- distribute-lft-in frac-sub flip-- sub-div
Counts
3 → 53
Calls
3 calls:
159.0ms
(+ (* 4.0 (+ (- (/ x y) (/ z y)) 0.75)) 1.0)
51.0ms
(- (/ x y) (/ z y))
185.0ms
(+ (- (/ x y) (/ z y)) 0.75)

series83.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(+ (* 4.0 (+ (- (/ x y) (/ z y)) 0.75)) 1.0)
35.0ms
(- (/ x y) (/ z y))
18.0ms
(+ (- (/ x y) (/ z y)) 0.75)

simplify2.4s

Counts
62 → 62
Iterations

Useful iterations: 3 (656.0ms)

IterNodesCost
0112859
1290832
2832778
33987762
done5000762

prune344.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
13×add-log-exp
10×*-un-lft-identity
9×add-exp-log add-cbrt-cube
8×add-sqr-sqrt
6×add-cube-cbrt
4×pow1
3×times-frac associate-/r* sum-log
2×cbrt-undiv +-commutative flip3-- flip3-+ diff-log associate-*r/ div-exp flip-- flip-+ associate-/l/
1×sub-neg frac-2neg prod-exp associate--l+ clear-num cbrt-unprod div-inv distribute-lft-out associate-/l* distribute-lft-out-- difference-of-squares
Counts
4 → 62
Calls
4 calls:
36.0ms
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
57.0ms
(- (+ x (* y 0.75)) z)
11.0ms
(+ x (* y 0.75))
57.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)

series177.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(+ 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
28.0ms
(- (+ x (* y 0.75)) z)
42.0ms
(+ x (* y 0.75))
69.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)

simplify1.1s

Counts
74 → 74
Iterations

Useful iterations: 2 (247.0ms)

IterNodesCost
01291045
1363981
21659897
done5000897

prune409.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize58.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)
0.1b
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)
0.2b
(* (/ (* 4.0 (- (+ x (* y 0.75)) z)) y) (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
18.4b
(/ (- (* 1.0 1.0) (* (/ (* 4.0 (- (+ x (* y 0.75)) z)) y) (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))) (- 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y)))

rewrite341.0ms

Algorithm
rewrite-expression-head
Rules
52×add-exp-log add-cbrt-cube
39×add-sqr-sqrt
38×times-frac
37×*-un-lft-identity
27×add-cube-cbrt
17×cbrt-undiv div-exp prod-exp cbrt-unprod
11×pow1 associate-/r* difference-of-squares
7×swap-sqr associate-*r* associate-*l* div-inv
6×associate-/l/ associate-/l*
5×associate-*r/ distribute-lft-out--
4×flip3-- flip-- add-log-exp
3×frac-2neg clear-num
2×associate-/r/
1×pow2 frac-times pow-plus div-sub pow-prod-down associate-*l/ pow-sqr *-commutative pow-prod-up unswap-sqr
Counts
4 → 148
Calls
4 calls:
52.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)
58.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)
183.0ms
(* (/ (* 4.0 (- (+ x (* y 0.75)) z)) y) (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
36.0ms
(/ (- (* 1.0 1.0) (* (/ (* 4.0 (- (+ x (* y 0.75)) z)) y) (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))) (- 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y)))

series438.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)
74.0ms
(/ (* 4.0 (- (+ x (* y 0.75)) z)) y)
130.0ms
(* (/ (* 4.0 (- (+ x (* y 0.75)) z)) y) (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))
177.0ms
(/ (- (* 1.0 1.0) (* (/ (* 4.0 (- (+ x (* y 0.75)) z)) y) (/ (* 4.0 (- (+ x (* y 0.75)) z)) y))) (- 1.0 (/ (* 4.0 (- (+ x (* y 0.75)) z)) y)))

simplify4.2s

Counts
160 → 160
Iterations

Useful iterations: 2 (944.0ms)

IterNodesCost
02265613
17355017
249974053
done50004053

prune794.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes211.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01213
11513
done1513

end0.0ms

sample1.3s

Algorithm
intervals
Results
778.0ms10167×body80valid