Details

Time bar (total: 12.2s)

sample23.0ms

Algorithm
intervals
Results
9.0ms317×body80valid

simplify3.2s

Counts
1 → 1
Iterations
IterNodes
done5000
64079
5803
4229
384
234
114
08

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 3.9b

localize19.0ms

Local error

Found 3 expressions with local error:

0.0b
(- 1.0 (* (- 1.0 y) z))
0.0b
(* (- 1.0 y) z)
3.6b
(* x (- 1.0 (* (- 1.0 y) z)))

rewrite71.0ms

Algorithm
rewrite-expression-head
Rules
13×add-sqr-sqrt
9×*-un-lft-identity
8×associate-*l*
7×pow1 add-cbrt-cube add-exp-log add-cube-cbrt
6×associate-*r*
5×add-log-exp
3×sub-neg flip3-- flip--
2×distribute-rgt-in distribute-lft-in pow-prod-down associate-*l/ prod-exp associate-*r/ *-commutative cbrt-unprod unswap-sqr
1×diff-log distribute-lft-out-- difference-of-squares
Counts
3 → 58
Calls
3 calls:
9.0ms
(- 1.0 (* (- 1.0 y) z))
33.0ms
(* (- 1.0 y) z)
27.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

series150.0ms

Counts
3 → 9
Calls
3 calls:
30.0ms
(- 1.0 (* (- 1.0 y) z))
40.0ms
(* (- 1.0 y) z)
80.0ms
(* x (- 1.0 (* (- 1.0 y) z)))

simplify611.0ms

Counts
67 → 67
Iterations
IterNodes
done5001
2951
1248
0102

prune350.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.7b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(* z (- 1.0 y))
0.0b
(+ (* x 1.0) (* (* z (- 1.0 y)) (- x)))
3.7b
(* (* z (- 1.0 y)) (- x))

rewrite89.0ms

Algorithm
rewrite-expression-head
Rules
15×associate-*r*
12×add-sqr-sqrt
10×pow1 *-un-lft-identity add-cbrt-cube add-exp-log
8×add-cube-cbrt
5×add-log-exp
4×associate-*l* pow-prod-down prod-exp associate-*r/ cbrt-unprod
3×distribute-lft-neg-in distribute-rgt-neg-in distribute-rgt-neg-out
2×distribute-rgt-in sub-neg distribute-lft-in flip3-- associate-*l/ *-commutative flip--
1×+-commutative neg-mul-1 sum-log flip3-+ unsub-neg flip-+ distribute-lft-out-- difference-of-squares unswap-sqr
Counts
3 → 67
Calls
3 calls:
17.0ms
(* z (- 1.0 y))
9.0ms
(+ (* x 1.0) (* (* z (- 1.0 y)) (- x)))
61.0ms
(* (* z (- 1.0 y)) (- x))

series252.0ms

Counts
3 → 9
Calls
3 calls:
65.0ms
(* z (- 1.0 y))
114.0ms
(+ (* x 1.0) (* (* z (- 1.0 y)) (- x)))
73.0ms
(* (* z (- 1.0 y)) (- x))

simplify951.0ms

Counts
76 → 76
Iterations
IterNodes
done5000
21749
1351
0121

prune348.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 2 expressions with local error:

0.0b
(+ (* x 1.0) (- (* (* x z) (- 1.0 y))))
3.3b
(* (* x z) (- 1.0 y))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
7×pow1 add-cbrt-cube add-exp-log
6×add-log-exp
5×add-sqr-sqrt *-un-lft-identity associate-*r*
4×distribute-rgt-in associate-+r+ distribute-neg-in sub-neg distribute-lft-in
3×pow-prod-down prod-exp add-cube-cbrt cbrt-unprod
2×sum-log associate-*r/
1×neg-sub0 +-commutative associate-+r- flip3-+ flip3-- associate-*l* unsub-neg neg-log *-commutative flip-+ flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 45
Calls
2 calls:
8.0ms
(+ (* x 1.0) (- (* (* x z) (- 1.0 y))))
42.0ms
(* (* x z) (- 1.0 y))

series171.0ms

Counts
2 → 6
Calls
2 calls:
117.0ms
(+ (* x 1.0) (- (* (* x z) (- 1.0 y))))
53.0ms
(* (* x z) (- 1.0 y))

simplify1.0s

Counts
51 → 51
Iterations
IterNodes
done5001
21821
1296
096

prune260.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* x (- 1.0 (* 1.0 z))) (- (* (* x z) (- y))))
0.0b
(* x (- 1.0 (* 1.0 z)))
3.4b
(* (* x z) (- y))

rewrite76.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-*r*
10×add-sqr-sqrt pow1 add-cbrt-cube add-exp-log
8×*-un-lft-identity add-cube-cbrt
7×add-log-exp
4×distribute-rgt-in associate-+l+ sub-neg distribute-lft-in associate-*l* pow-prod-down prod-exp cbrt-unprod
3×distribute-lft-neg-in distribute-rgt-neg-in
2×sum-log associate-*r/ *-commutative
1×neg-sub0 +-commutative associate-+r- neg-mul-1 flip3-+ flip3-- unsub-neg neg-log distribute-rgt-neg-out flip-+ flip-- unswap-sqr
Counts
3 → 69
Calls
3 calls:
16.0ms
(+ (* x (- 1.0 (* 1.0 z))) (- (* (* x z) (- y))))
26.0ms
(* x (- 1.0 (* 1.0 z)))
31.0ms
(* (* x z) (- y))

series222.0ms

Counts
3 → 9
Calls
3 calls:
99.0ms
(+ (* x (- 1.0 (* 1.0 z))) (- (* (* x z) (- y))))
77.0ms
(* x (- 1.0 (* 1.0 z)))
46.0ms
(* (* x z) (- y))

simplify1.7s

Counts
78 → 78
Iterations
IterNodes
done5000
22286
1387
0127

prune413.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes482.0ms

Accuracy

95.1% (0.1b remaining)

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

bsearch107.0ms

Steps
ItersRangePoint
3
1.1900553952527055e-09
1.5375988180684124e-09
1.4724344262904673e-09
10
-205.8624528279525
-5.957623257063791e-11
-0.9563389629198734

simplify531.0ms

Iterations
IterNodes
done5000
5701
4222
3109
265
144
024

end0.0ms

sample953.0ms

Algorithm
intervals
Results
476.0ms10084×body80valid