Details

Time bar (total: 31.4s)

sample277.0ms

Algorithm
intervals
Results
163.0ms123×body1280valid
46.0ms59×body640valid
15.0ms256×pre80true
10.0ms21×body320valid
6.0ms39×body80valid
5.0ms14×body160valid

simplify5.8s

Counts
1 → 1
Iterations
IterNodes
done5000
94724
81354
7446
6193
589
439
333
222
115
09

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 12.1b

localize28.0ms

Local error

Found 3 expressions with local error:

0.1b
(- x (- (tan a) (tan (+ y z))))
0.2b
(- (tan a) (tan (+ y z)))
4.2b
(tan (+ y z))

rewrite70.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity
35×add-sqr-sqrt
33×prod-diff
25×add-cube-cbrt
11×associate--r+
10×add-log-exp
7×distribute-lft-out--
6×fma-neg
5×difference-of-squares
4×diff-log tan-quot
3×expm1-log1p-u pow1 sub-neg add-cbrt-cube add-exp-log log1p-expm1-u
2×tan-sum flip3-- frac-sub flip--
1×associate--r-
Counts
3 → 89
Calls
3 calls:
29.0ms
(- x (- (tan a) (tan (+ y z))))
28.0ms
(- (tan a) (tan (+ y z)))
10.0ms
(tan (+ y z))

series400.0ms

Counts
3 → 9
Calls
3 calls:
168.0ms
(- x (- (tan a) (tan (+ y z))))
165.0ms
(- (tan a) (tan (+ y z)))
66.0ms
(tan (+ y z))

simplify1.5s

Counts
98 → 98
Iterations
IterNodes
done5001
21529
1377
0162

prune513.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.1b

localize46.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))
0.1b
(- x (- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))))
0.2b
(* (tan z) (tan y))
0.2b
(- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))))

rewrite244.0ms

Algorithm
rewrite-expression-head
Rules
167×*-un-lft-identity
134×add-sqr-sqrt
126×prod-diff
110×add-cube-cbrt
88×times-frac
56×associate--r+
22×distribute-lft-out
14×associate-/r/
11×add-log-exp
9×flip3-- flip-- difference-of-squares
8×add-cbrt-cube add-exp-log
7×tan-quot div-inv distribute-lft-out--
6×pow1 fma-neg
4×expm1-log1p-u diff-log log1p-expm1-u associate-/l*
3×associate-/r* sub-neg associate-*r* associate-*l* associate-/l/
1×frac-times cbrt-undiv clear-num frac-2neg flip3-+ div-exp pow-prod-down associate-*l/ frac-add prod-exp associate-*r/ *-commutative frac-sub cbrt-unprod flip-+ associate--r- unswap-sqr
Counts
4 → 232
Calls
4 calls:
25.0ms
(/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))
135.0ms
(- x (- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))))
12.0ms
(* (tan z) (tan y))
61.0ms
(- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))))

series1.8s

Counts
4 → 12
Calls
4 calls:
374.0ms
(/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))
566.0ms
(- x (- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y))))))
168.0ms
(* (tan z) (tan y))
698.0ms
(- (tan a) (/ (+ (tan z) (tan y)) (- 1 (* (tan z) (tan y)))))

simplify3.1s

Counts
244 → 244
Iterations
IterNodes
done5000
24713
11055
0393

prune1.6s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize86.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (* (tan y) (tan y)) (tan z))
0.2b
(- (tan a) (/ (* (fma (tan z) (tan y) 1) (+ (tan y) (tan z))) (- 1 (* (tan z) (* (* (tan y) (tan y)) (tan z))))))
0.2b
(* (tan y) (tan y))
0.2b
(* (tan y) (tan y))

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
31×*-un-lft-identity
29×add-cube-cbrt
27×prod-diff
23×pow1
21×tan-quot
13×add-cbrt-cube add-exp-log
9×times-frac associate-*r*
7×frac-times associate-*l* associate-*l/
6×swap-sqr associate-/r/ add-log-exp
5×pow-prod-down prod-exp associate-*r/ cbrt-unprod
4×expm1-log1p-u flip3-- log1p-expm1-u flip--
3×fma-neg *-commutative div-inv unswap-sqr
2×pow2 pow-plus pow-sqr pow-prod-up
1×sub-neg diff-log frac-sub distribute-lft-out-- difference-of-squares
Counts
4 → 135
Calls
4 calls:
43.0ms
(* (* (tan y) (tan y)) (tan z))
41.0ms
(- (tan a) (/ (* (fma (tan z) (tan y) 1) (+ (tan y) (tan z))) (- 1 (* (tan z) (* (* (tan y) (tan y)) (tan z))))))
16.0ms
(* (tan y) (tan y))
12.0ms
(* (tan y) (tan y))

series1.9s

Counts
4 → 12
Calls
4 calls:
161.0ms
(* (* (tan y) (tan y)) (tan z))
1.6s
(- (tan a) (/ (* (fma (tan z) (tan y) 1) (+ (tan y) (tan z))) (- 1 (* (tan z) (* (* (tan y) (tan y)) (tan z))))))
62.0ms
(* (tan y) (tan y))
44.0ms
(* (tan y) (tan y))

simplify2.2s

Counts
147 → 147
Iterations
IterNodes
done5000
24498
1730
0258

prune1.1s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize56.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (tan y) (tan y))
0.2b
(* (tan y) (tan y))
0.4b
(pow (* (tan y) (tan y)) 3)
9.7b
(cbrt (pow (* (tan y) (tan y)) 3))

rewrite51.0ms

Algorithm
rewrite-expression-head
Rules
26×pow1
18×add-sqr-sqrt
16×tan-quot
14×*-un-lft-identity add-cube-cbrt
11×add-cbrt-cube add-exp-log
8×cbrt-prod
6×cube-div pow-pow swap-sqr associate-*r* associate-*l*
4×expm1-log1p-u frac-times associate-*l/ associate-*r/ log1p-expm1-u add-log-exp
3×pow2 pow-unpow cbrt-div pow-plus pow-prod-down prod-exp pow-sqr pow-prod-up cbrt-unprod
2×cube-mult unpow-prod-down unpow3 cube-prod pow-exp *-commutative rem-cube-cbrt unswap-sqr sqr-pow
1×pow-to-exp pow1/3 rem-cbrt-cube
Counts
4 → 113
Calls
4 calls:
12.0ms
(* (tan y) (tan y))
12.0ms
(* (tan y) (tan y))
17.0ms
(pow (* (tan y) (tan y)) 3)
7.0ms
(cbrt (pow (* (tan y) (tan y)) 3))

series206.0ms

Counts
4 → 12
Calls
4 calls:
44.0ms
(* (tan y) (tan y))
38.0ms
(* (tan y) (tan y))
79.0ms
(pow (* (tan y) (tan y)) 3)
45.0ms
(cbrt (pow (* (tan y) (tan y)) 3))

simplify1.3s

Counts
125 → 125
Iterations
IterNodes
done5000
22123
1308
0113

prune780.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

regimes415.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done43
143
031

end0.0ms

sample8.0s

Algorithm
intervals
Results
4.5s3893×body1280valid
1.2s1992×body640valid
1.0s8000×pre80true
570.0ms695×body320valid
156.0ms1131×body80valid
112.0ms289×body160valid